Virginie Wiels Steve M. Easterbrook Management of Evolving Specifications using Category Theory. 12-21 1998 ASE http://dlib.computer.org/conferen/ase/8750/pdf/87500012.pdf db/conf/kbse/ase1998.html#WielsE98