G. Harrison. 1988 Functional Programming. Addison-Wesley. Graham, Brian T. 1992 "The SECD Microprocessor: A Verification Case Study". Springer. Kogge, Peter M. The Architecture of Symbolic Computers. External links SECD collection 1964 in computing Implementation of functional programming languages Models of computation Abstract machines