Gustavo Alonso Armin Fessler Guy Pardon Hans-Jörg Schek Correctness in General Configurations of Transactional Components. 285-293 1999 PODS db/conf/pods/pods99.html#AlonsoFPS99 conf/pods/99 http://doi.acm.org/10.1145/303976.304004 db/conf/pods/AlonsoFPS99.html DiSC2_1/out/papers/pods/correctnessingeguarg.pdf conf/pods/AlonsoBFS97 conf/icdt/AlonsoFPS99 journals/jacm/BeeriBG89 books/aw/BernsteinHG87 conf/edbt/BeeriSW88 books/mk/GrayR93 ... ... books/infix/Schaad96 conf/ride/SchekWS91 journals/tods/Weikum91