Semantics of programming languages (1992)

by C Gunter