A concurrent language with atomic transactions.["Rationale for the Design of Aeolus", C. Wilkes et al, ProcIEEE 1986 Intl Conf Comp Lang, IEEE 1986, pp.107-122].