Witt: Structured programming: Theory and Practice (1979)

by R C Linger, H D Mills, B I
Venue:An Appraisal of Program Specifications. In Research Directions in Software Technology