D. Dolev and D. Malki 1994
In Proceedings of the Dagstuhl Intl. Workshop on Unifying Theory and Practice in Distributed Computing, (LNCS, 938), Dagstuhl Castle, September 1994