Gustavo Alonso, Stephen Blott, Armin Fessler, Hans-Jörg Schek: Correctness and Parallelism of Composite Systems. PODS 1997: 197-208