1. Structure and Interpretation of Computer Programs;Abelson,1996
2. Vicious Circles;Barwise,1996
3. Using structural recursion for corecursion;Bertot,2009
4. Evolution, brain, and the nature of language;Berwick;Trends Cogn. Sci.,2013
5. Abstract state machines capture parallel algorithms: correction and extension;Blass;ACM Trans. Comput. Log.,2007