Foster, J.M. "Assertions: Programs written without specifying unnecessary order"

(1968) Machine Intelligence 3 (ed) Michie, Donald Department of Machine Intelligence and Perception, University of Edinburgh, Edinburgh University Press, 1968  

Languages mentioned ABSYS {1966} Aberdeen system declarative language