Martin Wirsing Algebraic Specification Languages: An Overview. 81-115 1994 conf/compass/1994 COMPASS/ADT db/conf/compass/compass94.html#Wirsing94