Foundations for Programming Languages. Foundations of Computing series (1996)

by J C Mitchell