- Author: Paolo Tonella Alessandra Potrich
- Language: English
- Year: 2004
- Author: Morgan Carroll, McIver Annabelle (ed.)
- Language: English
- Year: 2003
- Author: Selig J. M
- Language: English
- Year: 2005
- Author: Suad Alagić Michael A. Arbib (auth.)
- Language: English
- Year: 1978
- Author: Gries David, Schneider Fred B
- Language: English
- Year: 2011
- Author: McIver Annabelle, Morgan Charles C
- Language: English
- Year: 2005
- Author: E.V. Krishnamurthy
- Language: English
- Year: 1985
Algorithmic Algebra
djvu
- Author: Bhubaneswar Mishra
- Language: English
- Year: 1993
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
djvu
- Author: David Luckham
- Language: English
- Year: 1990