Introduction To The Theory Of Programming Languages Bertrand Meyer - MEYER, Bertrand (Prentice-Hall, 1990)