@conference{KoChYi-PCC-2009,
title={PCC Framework for Program-Generators},
author={Soonho Kong and Wontae Choi and Kwangkeun Yi},
booktitle={Workshop on Proof-Carrying Code and Software Certification},
pages={18},
address={Los Angeles, California, USA},
year={2009}
}