Andrzej Blikle Denotational Engineering. 207-253 1989 12 Sci. Comput. Program. 3 db/journals/scp/scp12.html#Blikle89