Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware. - Keith E. Williamson; Michael Healy; Richard A. Barker (ICSR, 2000)

Industrial Applications of Software Synthesis via Category Theory-Case Studies Using Specware. - Keith E. Williamson; Michael Healy; Richard A. Barker (Autom. Softw. Eng., 2001)