Nancy A. Lynch Michael J. Fischer On Describing the Behavior and Implementation of Distributed Systems. 17-43 1981 13 Theor. Comput. Sci. db/journals/tcs/tcs13.html#LynchF81 http://dx.doi.org/10.1016/0304-3975(81)90109-2