Proceedings (IEEE Computer Soc. Press, 1992)