B. Dahn Constructive methods in computing science : M Broy (ed). 66 1992 34 Inf. Softw. Technol. 1 https://doi.org/10.1016/0950-5849(92)90096-8 db/journals/infsof/infsof34.html#Dahn92