A Unifying Framework for Structured Analysis and Design Models: An Approach using Initial Algebra Semantics and Category Theory (1991)

by T H Tse