Boolen calculus of differences. VOL.101 - Thayse, Andre (Springer Verlag, 1981)