An ESTELLE description of the ISO distributed transaction processing service (Univ. der Bundeswehr München, Fak. für Informatik, 1989)