"Specification and Implementation of Abstract Data Types."

Alfs T. Berztiss, Satish Thatte (1983)
a service of Schloss Dagstuhl - Leibniz Center for Informatics