Mark R. Tuttle
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
An introduction to input/output automata
Nancy A. Lynch and others (1989) · CWI Quarterly, 2:219–246
Hierarchical correctness proofs for distributed algorithms
Nancy Ann Lynch and others (1987) · ACM Symposium on Principles of Distributed Computing (PODC)