Avalon: Language Support for Reliable Distributed Systems (1986)

by J M Wing, M P Herlihy