Cátia Vaz, A formal approach to long running transactions, PhD Thesis, IST, Technical University of Lisbon, Sep 2010 (*).
[bibTeX]