Logical reformulation of quantum mechanics. I. Foundations. R. Omnès in J. Stat. Phys. 53:893 (1988).