Operational replacement schemes
Subtitle: a practice oriented approach to the specification of abstract data types
By: (by) Heinrich C. Mayr, Peter C. Lockemann (and) Klaus R. Dittrich.
Contributors: Lockmann, Peter C.; Dittrich, Klaus R.
Series: Bericht (Universität Karlsruhe. Fakultät für Informatik) -- 11/80
Publisher: Universität Karlsruhe, Fakultät für Informatik
Published: 1980
Place of publication: Karlsruhe
Language: eng
Number of pages: 47