Gianni Mainetto Mariella Di Giacomo Luca Vinciotti Distributed Galileo: A Persistent Programming Language with Transactions. 503-525 POS/1994/P503.pdf 1994 conf/pos/1994 POS db/conf/pos/pos94.html#MainettoGV94