Distributed computing systems Proceedings of the 3rd international conference Miami, Florida, October 18-22, 1982 (IEEE Computer Society Press, 1982)