@article{LeYiPa2002,
   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},
   number = {4},
   pages = {179--185},
   month = {February},
   year = {2002},
   category = {other-program-analyses journal},
   format = {pdf},
}