J. Lantermann Interactive Debugging Support IDS - eine CHILL Testhilfe. 213-224 1984 conf/gacm/1984 Programmierumgebungen und Compiler db/conf/gacm/gacm1984.html#Lantermann84