Automating business modelling : a guide to using logic to represent informal methods and support reasoning by Yun-Heh Chen-Burger. ISBN 1852338350. Published by Springer in 2005. Publication and catalogue information, links to buy online and reader comments.