G. Birkhoff/J. von Neumann: The logic of quantum mechanics.
Annals Math. 37 (1936), 823-843.

D. Dorninger/Helmut La''nger/M. Maczynski: Zur Darstellung von
Observablen auf gs-stetigen Quantenlogiken.
Sber. O''st. Ak. Wiss. 192 (1983), 169-176.

11884 Anatolij Dvurec^enskij: Tensor product of difference posets.
Trans. AMS 347 (1995), 1043-1057.

Anatolij Dvurec^enskij/S. Pulmannova: Difference posets, effects,
and quantum measurements. Int. J. Theor. Phys. 33 (1994), 819-850.

Anatolij Dvurec^enskij/B. Riec^an: Decomposition of measures on
orthoalgebras and difference posets.
Int. J. Theor. Phys. 33 (1994), 1403-1418.

D. Foulis: Coupled physical systems. Found. Phys. 19 (1989), 905-922.

D. Foulis/M. Bennett: Tensor products of orthoalgebras.
Order 10 (1993), 271-282.

H. Kunsemu''ller: Zur logischen Deutung der Quantenmechanik.
Diss. Univ. Hamburg 1959.

Helmut La''nger: Construction of observables and existence of joins
and meets in the poset of observables.
Demonstration Math. 26 (1993), 249-254.

5542 James McGrath: Quantum theory and the lattice join.
Math. Intell. 13/3 (1991), 72-79.

P. Ptak/Pulamannova: Orthomodular structures as quantum logics.
Kluwer 1991, 210p. 80-224-0242-7. Dfl. 170. A good introduction to axiomatic
quantum mechanics, with physical motivations. Mathematically precise and
didactically clever. (D. Dorninger)