Proceedings (IEEE Computer Society Press ; Distributed outside the USA/Canada by North-Holland, 1985)