Gerd Wagner Practical Theory and Theory-Based Practice. 67-69 1996 conf/atal/1996 ATAL db/conf/atal/atal1996.html#Wagner97