Applied Logic–Its Use and Implementation as a Programming Tool (1977)

by David H D Warren
Venue:University of Edinburgh