The syntactic forms required for function-theoretic design are … [Linger et al, Structured Programming: Theory and Practice, 1979] whose principal components are function (subspecification) definitions, delimited by square … Designs are constructed by repeatedly decomposing specified functions … and not by assembling control structures into designs …
Google-1
Google-2
Copyright clearance needed for quotation.