Industrial Applications of Software Synthesis via Category Theory (2001)

by Keith Williamson , Michael Healy
Venue:AUTOMATED SOFTWARE ENGINEERING