Hartmut Ehrig Magdalena Gajewsky Uwe Wolter From abstract data types to algebraic development techniques: A shift of paradigms. 1-17 1997 conf/wadt/1997 WADT db/conf/wadt/wadt97.html#EhrigGW97