“Formal specs should be as obvious as the need for blueprints of a skyscraper.”
cacm.acm.org