Specification of Abstract Data Types (1996)

by Jacques Loeckx, Hans-Dieter Ehrich, Markus Wolf