Abstract interpretation, logical relations and Kan extensions (1987)

by S Abramsky