David Notkin Andrew P. Black Edward D. Lazowska Henry M. Levy Jan Sanislo John Zahorjan 258-273 1988 31 Commun. ACM 3 db/journals/cacm/cacm31.html#NotkinBLLSZ88 http://doi.acm.org/10.1145/42392.42396