Debugging in GAPLog: A Model for Execution of Logic Programs with Delayed Function Calls. - Tim Heyer (AADEBUG, 1995)

COMPASS: A Comprehensible Assertion Method. - Staffan Bonnier; Tim Heyer (TAPSOFT, 1997)

Semantic Inspection of Software Artifacts From Theory to Practice. - Tim Heyer (2001)