Title: Semantics of programming languages
First published: 1992