A relational framework for abstract interpretation (1985)

by A Mycroft, N Jones
Venue:In Programs as Data Objects