Text this: Handbook of quantum logic and quantum structures :