Title: Expressions, types, and data structures in protem
First published: 1988