Mathematical methods will be the key to improved professionalism in software engineering, but they must be rescued from the grip of philosophers who preach sermons about formality.
Mathematical Methods: What We Need and Don’t Need by David Parnas in IEEE Computer, 1996 April