Manfred Broy Toward a Mathematical Foundation of Software Engineering Methods. 42-57 2001 27 IEEE Trans. Software Eng. 1 http://www.computer.org:80/tse/ts2001/e0042abs.htm db/journals/tse/tse27.html#Broy01