A unifying framework for structured analysis and design models an approach using initial algebra semantics and category theory - Tse, T. H. (Cambridge Univ. Press, 1991)
Literaturverz. S. 168 - 177