@article{LeYiPa02, author = "Oukseh Lee and Kwangkeun Yi and Yunheung Paek", title = "A Proof Method for the Correctness of Modularized 0CFA", journal = "Information Processing Letters", volume = "81", pages = "179-185", year = "2002" }