Foundations for Programming Languages (1996)

by J C Mitchell