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

http://cacm.acm.org/magazines/2015/5/186023-teach-foundational-language-principles/fulltext