A model-independent approach to implementations of abstract data types (0)

by M Broy, B MSller, P Pepper, M Wirsing
Venue:Proc. of the Symp. on Algorithmic Logic and the Programming Language LOGLAN