Text this: Current research in operational quantum logic :