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