Categorical quantum models and logics - Heunen, Chris (Pallas Publications : Amsterdam University Press, 2010)