Verifiable programming /
Dahl, Ole-Johan,1931-
New York ; London : Prentice Hall,
1992.
Includes bibliographical references.
Computer programs