Automating business modelling :guide to using logic to represent informal methods and support reasoning - Chen-burger Yun-heh (United Kingdom United Kingdom, Springer, 2005)