Digest of papers July 6 - 7, 1992, Amherst, Massachusetts (IEEE Computer Soc. Press, 1992)