George Boole, a Forerunner of Symbolic Computation. - Luis M. Laita; Luis de Ledesma; Eugenio Roanes-Lozano; Alberto Brunori (AISC, 2000)