Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning - Chen-Burger, Yun-Heh (Springer-Verlag London Limited, 2005)