Composition by colimit and formal software development

Douglas R. Smith

pp. 317-332


This document is unfortunately not available for download at the moment.

Not implemented yet !