1
A Unifying Framework for Structured Analysis and Design Models [E-Book] : An Approach Using Initial Algebra Semantics and Category Theory /