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