Jan Friso Groote Bert Lisser Computer assisted manipulation of algebraic process specifications. 98-107 2002 37 SIGPLAN Notices 12 http://doi.acm.org/10.1145/636517.636531 db/journals/sigplan//sigplan37.html#GrooteL02