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