Semantics of Programming Languages (1991)

by R D Tennent