Logic and objects - McCabe, Frank G. (Prentice Hall, 1992)