Martin S. Feather. Explorations on the formal frontier of distributed system design. In Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992. pages 154-162, IEEE Computer Society, 1992. [doi]
Abstract is missing.