Programming languages and operational semantics : an introduction
Maribel Fernández
(Texts in computing, v. 1)
King's College, c2004
Includes bibliographical references (p. 139-140) and index
King's College