Software development a rigorous approach
Jones, C. B.(Cliff B.),1944-
Englewood Cliffs London Prentice-Hall
1980
With answers to selected exercises
Bibliography: p.371-378. - Includes index
Programming (Electronic computers)