| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning | 978-1-85233-835-0 (1-85233-835-0) | 2005 | Dave Robertson |
H. C. · H. Chen · Y.B. · Y. Chen · Y. H. Chen