Specification of abstract data types

Bok av Jacques Loeckx