Program construction and verification - Backhouse, Roland C. (Prentice-Hall, 1986)
Περιέχει ασκήσεις