Boole, George The mathematical analysis of logic - Cambridge, Estados Unidos de América : Basil Blackwell, 1951 - 82 p.