Toward a mathematical foundation of software engineering methods. - Broy, Manfred (IEEE Transactions on Software Engineering, 2001)