Abstract interpretation using domain theory (1984)

by F Nielson