Kelemantic, Grace Routines for Reasoning - Pertsworth Heinemann - 189p. 12.4*18.6 Dewey Class. No.: 510.71 / KEL/ROU