Computing Boolean statistical models - Oliveira, P. M. C. de (World Scientific, 1991)