Proceedings (IEEE Computer Society Press,, 1987)