Rationale

Beyond Code: The Foundations of Structured Specification

Why structured description is necessary for designing complex software systems with built-in verification mechanisms