Keith E. Williamson Michael Healy Industrial Applications of Software Synthesis via Category Theory. 35-43 1999 ASE http://computer.org/proceedings/ase/0415/04150035abs.htm db/conf/kbse/ase1999.html#WilliamsonH99