J.M. Foster et al, "ABSYS 1: An Incremental Compiler for Assertions"

Meltzer, Bernard and Michie, Donald (eds) (1969) Meltzer, Bernard and Michie, Donald (eds) "Machine Intelligence 4" Edinburgh University Press, 1969  

Languages mentioned ABSYS {1966} Aberdeen system declarative language