Computer-Aided Reasoning:An Approach (2000)

by M Kaufmann, P Manolios, J S Moore