Proceedings (IEEE Computer Soc., 1985)