Proceedings (IEEE Computer Society, 1979)