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