- Author: Suad Alagić Michael A. Arbib (auth.)
- Language: English
- Year: 1978
- Author: E.V. Krishnamurthy
- Language: English
- Year: 1985
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
djvu
- Author: David Luckham
- Language: English
- Year: 1990
- Author: Kfoury A. J., Arbib Michael A., Moll Robert N
- Language: English
- Year: 1982
- Author: Manes Ernest G., Arbib Michael A
- Language: English
- Year: 1986
- Author: Kfoury A. J., Arbib Michael A., Moll Robert N
- Language: English
- Year: 1982
- Author: Kfoury A. J., Arbib Michael A., Moll Robert N
- Language: English
- Year: 1981
- Author: Ronald V. Book Friedrich Otto
- Language: English
- Year: 1993
- Author: Ronald V. Book Friedrich Otto
- Language: English
- Year: 1993
- Author: Ronald V. Book Friedrich Otto
- Language: English
- Year: 1993