Bounding Sequence Numbers in Distributed Systems: a General Approach. - William S. Lloyd; Phil Kearns (ICDCS, 1990)

Using tracing to direct our reasoning about distributed programs. - William S. Lloyd; Phil Kearns (ICDCS, 1991)

Tracing the execution of distributed programs. - William S. Lloyd; Phil Kearns (J. Syst. Softw., 1993)

Exploring the Byzantine generals problem with beginning computer science students. - William S. Lloyd (ACM SIGCSE Bull., 1994)