1. Appel, A.W.: Modern Compiler Implementation in ML. Cambridge University Press, Cambridge (1998)
2. Appel, A.W.: Foundational proof-carrying code. In: Logic in Computer Science 2001, pp. 247–258. IEEE Computer Society Press, Silver Spring (2001)
3. Lecture Notes in Computer Science;AW Appel,2007
4. Lecture Notes in Computer Science;CW Barrett,2005
5. Lecture Notes in Computer Science;G Barthe,2002