Mathematical Foundations of Programming Language Semantics
-
nidottu
,
Englanti, 1988