Recent trends in data type specification : 3rd workshop on theory and applications of abstract data types : selected papers. - Kreowski, H.J. (Berlin : Springer Verlag, 1985)