Proceedings (IEEE Computer Society Press, 1993)