- Author: Anil Nerode Richard A. Shore
- Language: English
- Year: 1993
- Author: John V. Guttag James J. Horning
- Language: English
- Year: 1993
- Author: Walter R. Bischofberger Gustav Pomberger
- Language: English
- Year: 1992
- Author: Dexter C. Kozen
- Language: English
- Year: 1992
- Author: Krzysztof R. Apt Ernst-Rüdiger Olderog
- Language: English
- Year: 1991
- Author: Peter A. Fejer Dan A. Simovici
- Language: English
- Year: 1991
- Author: Edsger W. Dijkstra Carel S. Scholten
- Language: English
- Year: 1990
- Author: Edward Cohen
- Language: English
- Year: 1990
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
pdf
- Author: David Luckham
- Language: English
- Year: 1990
- Author: W.H.J.Feijen A.J.M. van Gasteren D.Gries J.Misra (eds.)
- Language: English
- Year: 1990