1. H. Abelson and G.J. Sussman. 1987. Structure and Interpretation of Computer Programs. MIT Press. H. Abelson and G.J. Sussman. 1987. Structure and Interpretation of Computer Programs. MIT Press.
2. Login: a logic programming language with built-in inheritance
3. Leo Brodie. 1981. Starting FORTH (online edition Marcel Hendrix ed.). Forth Inc. https://www.forth.com/starting-forth/ Leo Brodie. 1981. Starting FORTH (online edition Marcel Hendrix ed.). Forth Inc. https://www.forth.com/starting-forth/
4. The Logic of Typed Feature Structures