Boolen calculus of differences. VOL.101 - Thayse, Andre (Lecture Notes in Computer Science., 1981)