Kenneth R. Wood. A Pragmatic Basis for the Formal Development of Distributed Systems. In Jack C. Wileden, editor, Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, December 1993. pages 132-140, IEEE Computer Society, 1993.
Abstract is missing.