HICKEY, J., & NOGIN, A. (2006, January 1). Formal compiler construction in a logical framework. 19(2-3). Heidelberg: Springer, 2006. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18084220
ISO-690 (author-date, English)HICKEY, Jason and NOGIN, Aleksey, 2006. Formal compiler construction in a logical framework. In: [online]. Heidelberg: Springer, 2006. 1 January 2006. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18084220
Modern Language Association 9th editionHICKEY, J., and A. NOGIN. Formal compiler construction in a logical framework. no. 2-3, Heidelberg: Springer, 2006., 2006, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18084220.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
HICKEY, J. and NOGIN, A. (2006), “Formal compiler construction in a logical framework”, in , Vol. 19, Heidelberg: Springer, 2006., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18084220.