Aeolus

A concurrent language with atomic transactions.

"Rationale for the Design of Aeolus", C. Wilkes et al, Proceedings of the IEEE 1986 International Conference on Computer Languages, IEEE 1986, pp.107-122.