P-functions and boolean matrix factorization - Thayse Andre (Berlin Springer Veerlag, 1984)