Algebraic implementation of abstract data types (1982)

by H Ehrig, H-J Kreowski, B Mahr, P Padawitz
Venue:Theoretical Computer Science