TY - BOOK AU - Chen-burger Yun-heh TI - Automating business modelling :guide to using logic to represent informal methods and support reasoning SN - 1-85233-835-0 PY - 2005/// CY - United Kingdom PB - United Kingdom, Springer ER -