1-2 of 2 Books
P-functions and Boolean matrix factorization
By André Thayse
Boolean calculus of differences