techniques, and tools. Addison-Wesley, 1986. (2008)
Practices Benjamin, Ass Harold Abelson, Gerald Jay Sussman, Julie Sussman Structure, ...
in Functional Programming, volume 2. Intellect, 2000.
Ac Martìn Abadi, Luca Cardelli, A Theory, Objects Springer, An Arvind, ...
machine instructions for proof-carrying code. In 27th Symposium on the Principles of Programming Languages (POPL), pages 243–253,