Peter Lee. Production-Quality Proof-Carrying Code. In Enrico Pontelli, Vítor Santos Costa, editors, Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings. Volume 1753 of Lecture Notes in Computer Science, pages 325, Springer, 2000. [doi]