TY - CHAP A1 - Prinz, Andreas A1 - Thalheim, Bernhard ED - Schewe, Klaus-Dieter ED - Zhou, Xiaofang T1 - Operational Semantics of Transactions KW - transactions Y1 - 2003 ER - TY - CHAP A1 - Prinz, Andreas A1 - Thalheim, Bernhard T1 - ASM Specification of Database Systems KW - ASM specification Y1 - 2003 ER -