An ESTELLE description of the ISO distributed transaction processing service (Bericht / Universität der Bundeswehr München, Fakultät für Informatik, 1989)