Michael J. Fischer Nancy D. Griffeth Nancy A. Lynch Global States of a Distributed System. 198-202 1982 8 IEEE Trans. Software Eng. 3 db/journals/tse/tse8.html#FischerGL82