@inproceedings{PrinzThalheim, author = {Prinz, Andreas and Thalheim, Bernhard}, title = {Operational Semantics of Transactions}, editor = {Schewe, Klaus-Dieter and Zhou, Xiaofang}, language = {en} } @inproceedings{PrinzThalheim, author = {Prinz, Andreas and Thalheim, Bernhard}, title = {ASM Specification of Database Systems}, language = {en} }