Keith E. Williamson Michael Healy Richard A. Barker Industrial Applications of Software Synthesis via Category Theory-Case Studies Using Specware. 7-30 2001 8 Autom. Softw. Eng. 1 db/journals/ase/ase8.html#WilliamsonHB01