|   | by T. H. TseHardcover 
 
 
 ISBN: 978-0-521-39196-2 ISBN-10: 0-521-39196-2 Cambridge University Press · 1991 | 
| See also (possibly by other authors): | ||
| 2009 | Paperback | A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory (Cambridge Tracts in Theoretical Computer Science) |