Yabo Wang David Lorge Parnas Simulating the Behaviour of Software Modules by Trace Rewriting. 14-23 1993 ICSE http://portal.acm.org/citation.cfm?id=257572.257577 db/conf/icse/icse93.html#WangP93