Hayes, P. J. "A Logic of Actions"

(1971) "Machine Intelligence 6", Meltzer, Bernard and Michie, Donald (eds) Edinburgh University Press, 1971  

Languages mentioned GOLUX {1974}