150044

References

Douglas R. Smith

Composition by colimit and formal software development

2006

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link