Ole Johan Dahl

Verifiable Programming (Prentice-Hall International Series in Computer Science)  Ole-Johan Dahl Paperback. Prentice Hall, 1992-06-01 ISBN 9780139510625     Structured Programming (A.P.I.C. Studies in Data Processing, No. 8)  Ole Johan Dahl Hardcover. Academic Press, 1972-06-01 ISBN 9780122005503