Stav dette: Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer.