Data types, abstract data types and their specification problem - Majster, Mila Emilia (Technische Universität <München>: TUM-INFO, 1977)