J. C. Huang A Depth-first and Tool-supportable Programming Strategy. 159-163 1987 17 Softw., Pract. Exper. 2 db/journals/spe/spe17.html#Huang87