discrete computational structures 9943