The Mythical Man-Month: Essays on Software Engineering

by Frederick P. Brooks Jr.

As noted, formal definitions are precise. They tend to be complete; gaps show more conspicuously, so they are filled sooner. What they lack is comprehensibility.