Foundations for Programming Languages. Foundations of Computing (1996)

by J C Mitchell