Boolean Models And Methods In Mathematics, Computer Science, And Engineering by Yves Crama