@inproceedings{PPDP-2000-Necula,
	author        = "George C. Necula",
	booktitle     = "{Proceedings of the Second International Conference on Principles and Practice of Declarative Programming}",
	doi           = "10.1145/351268.351289",
	pages         = "175--177",
	title         = "{Proof-carrying code: design, implementation and applications}",
	year          = 2000,
}