The structure of Typed Programming Languages (1994)

by D A Schmidt