Tutorial, distributed system design initially presented at the First International Conference on Distributed Computing Systems - Mariani, Michael P. (Institute of Electrical and Electronics Engineers, 1979)