Title: The symbolic semantics of programming languages
First published: 1989
Subjects: Semantics, Programming languages (Electronic computers)