Proving programs correct
Anderson, Robert B.
New York Chichester Wiley
1979
Bibliography: p.170-182. - Includes index
Computer programs