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