Gerhard Chroust Backtracking in software process model. 64-68 1986 conf/ispw/1986 ISPW db/conf/ispw/ispw1986.html#Chroust86