Automating business modelling : a guide to using logic to represent informal methods and support reasoning - Chen-Burger, Yun-Heh; Robertson, Dave (Springer, 2005)