| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory | 978-0-521-39196-2 (0-521-39196-2) | 1991 | |
| Introduction to Computer Studies | 978-962-03-0381-4 (962-03-0381-4) | 1989 | C.C. Ko |