Specification of Abstract Data Types - Loeckx, Jacques (Wiley ; Teubner)