Algorithmic Language and Program Development

by Bauer, F.L., Wössner, H.
Published 1982

Predicate Calculus and Program Semantics

by Dijkstra, Edsger W., Scholten, Carel S.
Published 1990

Probabilistic Analysis of Algorithms : On Computing Methodologies for Computer Algorithms Performance Evaluation

by Hofri, Micha
Published 1987

Selected Writings on Computing: A personal Perspective

by Dijkstra, Edsger W.
Published 1982

Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement

by Broy, Manfred, Stølen, Ketil
Published 2001

High Performance Discovery In Time Series : Techniques and Case Studies

Published 2004

Software Configuration Management Using Vesta

by Heydon, Clark Allan, Levin, Roy, Mann, Timothy P., Yu, Yuan
Published 2006