Brayner, A., Härder, Theo, Ritter, Norbert: Semantic Serializability: A Correctness Criterion for Processing Transactions in Advanced Database Applications. In: Data and Knowledge Engineering, Jg.31 (1999), S. 1-24