Schwinghammer, J. (2008-01-01). "On Normalization by Evaluation for Object Calculi". In Miculan, Marino; Scagnetto, Ivan; Honsell, Furio (eds.). Types for Proofs and Programs. Lecture Notes in Computer Science. Vol. 4941. Springer Berlin Heidelberg. pp. 173–187. CiteSeerX10.1.1.140.5764. doi:10.1007/978-3-540-68103-8_12. ISBN978-3-540-68084-0.
Schwinghammer, J. (2008-01-01). "On Normalization by Evaluation for Object Calculi". In Miculan, Marino; Scagnetto, Ivan; Honsell, Furio (eds.). Types for Proofs and Programs. Lecture Notes in Computer Science. Vol. 4941. Springer Berlin Heidelberg. pp. 173–187. CiteSeerX10.1.1.140.5764. doi:10.1007/978-3-540-68103-8_12. ISBN978-3-540-68084-0.