Jean-Raymond Abrial
-
Toward a Mathematical Foundation of Software Engineering Methods
IEEE Transactions on Software Engineering