Thomas Herstel Korrektheitsaussagen über Prozessmodelle anhand von Transaktionshüllen. 46-50 2000 Grundlagen von Datenbanken http://www.is.informatik.uni-kiel.de/~hjk/wsgdb00/Paper/Herstel.ps db/conf/gvd/gvd2000.html#Herstel00