Logic and objects - McCabe, Frank G. (Prentice Hall international series in computer science, 1992)