References
Douglas R. Smith
(2006). Composition by colimit and formal software development. In K. Futatsugi, J. Jouannaud, & J. Meseguer (Eds.). Algebra, meaning, and computation (pp. 317-332). Dordrecht: Springer.
(2006). Composition by colimit and formal software development. In K. Futatsugi, J. Jouannaud, & J. Meseguer (Eds.). Algebra, meaning, and computation (pp. 317-332). Dordrecht: Springer.