The logic of programming - Hehner, Eric C. (Prentice-Hall, 1984)
Βιβλιογραφία: σσ.343-345 Περιέχει ασκήσεις