Two Spectra of Self-Organizing Sequential Search Algorithms. - Aaron M. Tenenbaum; Richard M. Nemes (SIAM J. Comput., 1982)

Modular Verification of Distributed Systems. - Richard M. Nemes (ICDCS, 1985)