SCOTT, Michael L.
Programming Language Pragmatics
U.S.A.
Morgan Kaufmann, 2000