A unifying framework for structured analysis and design models : an approach using initial algebra semantics and category /
Tse, T. H.
Cambridge : Cambridge University Press,
1991.