Bibliography: p353-356. - Includes index.
The formal semantics of programming languages : an introduction by G. Winskel. ISBN 0262231697. Published by MIT Press in 1993. Publication and catalogue information, links to buy online and reader comments.