Evaluation of programming and systems techniques, program validation
Central Computer Agency.
London H.M.S.O.
1976
Bibliography: p.220-222
Computer programs
Structured programming.