Title: Types in procedural programming languages
First published: 1985