Title: Semantics of data structures and references
First published: 1974