Formal description of program structure and semantics in first order logic Burstal R. M. 1969 In Meltzer, Bernard and Donald Michie (Eds.). Machine Intelligence 5, pp. 78-98. Edinburgh University Press.