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