Title: Notations for abstract data types
First published: 1985