Peter Baumgartner Ulrich Furbach Margret Groß-Hardt Alex Sinner 'Living Book': -'Deduction', 'Slicing', 'Interaction'. 284-288 http://dx.doi.org/10.1007/978-3-540-45085-6_23 2003 conf/cade/2003 CADE db/conf/cade/cade2003.html#BaumgartnerFGS03