Automating Business Modelling

A Guide to Using Logic to Represent Informal Methods and Support Reasoning

ISBN: 978-1-85233-835-0 (Print) 978-1-84628-106-8 (Online)