"Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing)" - читать интересную книгу автора (Yun-Heh Chen-Burger, Dave Robertson)