2 books • 1 series
Logic and Objects (Prentice Hall International Series in Computer Science)
Micro-PROLOG