Title: Typing by Design
First published: March 1982