Chen-burger Yun-heh Automating business modelling :guide to using logic to represent informal methods and support reasoning Chen-burger Yun-heh; Robertson Dave - United Kingdom United Kingdom, Springer 2005 - xvii,322 ISBN: 1-85233-835-0 Source: Textbook