Current Research In Operational Quantum Logic door Bob Coecke