(PDF)Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing) 2005 Edition