%0 Book
%A / Yun-Heh Chen-Burger and Dave Robertson
%T Automating business modelling a guide to using logic to represent informal methods and support reasoning
%U /book/103030659/Automating-business-modelling-a-guide-to-using-log/