"Distributed Galileo: A Persistent Programming Language with Transactions."

Gianni Mainetto, Mariella Di Giacomo, Luca Vinciotti (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics