@TECHREPORT{cs201101,
    Author         = {Christian Colombo and
                      Gordon J. Pace},
    Institution    = {Department of Computer Science, University of Malta},
    note           = {Available from \verb+http://www.um.edu.mt/ict/cs/research/technical_reports+},
    Number         = {CS2011-01},
    Title          = {A Compensating Transaction Example in Twelve Notations},
    Year           = {2011}
}