A unifying framework for structured analysis and design models, an approach using initial algebra semantics and category theory

by Tse, T.H
Published 1991