Logic and Objects - McCabe Francis G. (New York : Prentice Hall, 1992)
Prentice Hall International Series in Computer Science