Boolean calculus of differences - Thayse Andre (Berlin Springer-Verlag, 1981)
Keywords: Boolean algebra