Applying Category Theory to Derive Engineering Software from Encoded Knowledge (2000)

by M Healy, K Williamson
Venue:Proceedings of the Eighth International Conference on Algebraic Methodology and Software Technology, volume 1816 of Lecture Notes in Computer Science