Synthesising recursive functions with side effects
Problem-solving with diagrammatic representations
Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networks
A theory of Origami world
Thinking: Readings in cognitive science: P.N. Johnson-Laird and P.C. Wason Cambridge University Press, 1977
Author index
Contents — volume 13, 1980