Operational replacement schemes a practice oriented approach to the specification of abstract data types - Mayr, Heinrich Christian 1948-; Lockemann, Peter C. 1935-; Dittrich, Klaus R. 1950-2007 (1980)