A relational framework for abstract interpretation. LNCS 215:156–171 (1986)

by A Mycroft, N Jones