Hartmut Ehrig On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000. 90-91 2000 71 Bulletin of the EATCS db/journals/eatcs/eatcs71.html#Ehrig00