References
- Beth , E W . 1968 . The Foundations of Mathematics Amsterdam : North-Holland .
- Burge , W H . 1975 . “ Recursive Programming ” . In Techniques Reading Mass. : Addison-Wesley . ISBN 0–201-14450–6
- Curry , H B and Feys , R . 1958 . Combinatory Logic Vol. 1 , North-Holland, Amsterdam, (1968)
- Dijkstra , E W . 1975 . Guarded commands, non-determinacy and formal derivation of programs . Comm ACM , 18 ( 8 ) : 453 – 457 .
- Henderson , P . 1980 . Functional Programming—Application and Implementation ISBN 0–13-331579–7, Prentice-Hall, Englewood Cliffs
- Hindley , J R and Seldin , J P . 1986 . Introduction to Combinators and λ-Calculus ISBN 0–521-31839–4, Cambridge U P, Cambridge
- Kleene , S C . 1952 . Introduction to Metamathematics Amsterdam, (1967) : North-Holland .
- Landin , P J . 1964 . The mechanical evaluation of expressions . Computer J. , 6 : 308 – 320 .
- Loveland , D W . 1978 . “ Automated Theorem Proving ” . In A Logical Basis ISBN 0–7204-0499–1, North-Holland, Amsterdam
- Manna , Z . 1972 . Mathematical Theory of Computation ISBN 0–07-039910–7, McGraw-Hill, New York
- McCarthy , J . 1963 . A basis for a mathematical theory of computation 33 – 70 . Braffort, P; Hirschberg, D: Computer Programming and Formal Systems, North-Holland, Amsterdam
- Postma , S W . 1984 . On The Definition and Implementation of The Program Language Quadlisp PhD Thesis, UNISA, Pretoria
- Postma , S W . 1986 . “ Introduction to Quadlisp/86, ISBN 0–86980-494–4 ” . In Uni Natal, Computer Science Report, PMB-TR/86–01, PMB
- Postma , S W . Basic Definitions of Octolisp in Σλ-Calculus Computer Science Report, PMB-TR/89–01, PMB, ISBN 0–86980-656–4
- Postma , S W . Octolisp Syntax & Language Uni Natal, Computer Science Report, in preparation ISBN Pietermaritzburg
- Postma , S W . 1989 . Octolisp Training Manual Uni Natal, Computer Science Report, PMB-TR/89–02, Pietermaritzburg
- [Postma/Scogings] . SLICED—machine environments in preparation
- Postma , S W and Phillips , N C K . 1988 . The Parallel Conditional, Quaestiones . Momaticae , 6 ( 3 ) : 109 – 112 .
- Stoy , J E . 1977 . Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory Cambridge Mass : MIT Press . ISBN 0–262-19147–4
- Wilder , R L . 1967 . Introduction to the Foundations of Mathematics New York : Wiley . John
- Yasuhara , A . 1971 . Recursive Function Theory and Logic ISBN 0–12-768950–8, Academic Press, New York