Logic and programming languages (1977)

by D S Scott
Venue:Commun. ACM