1. Introduction to the Open Distributed Processing Basic Reference Model;Linington,1991
2. Two standards means problems: A case study on formal protocol descriptions;Fantechi;Computer Standards and Interfaces,1989
3. The design of a temporal logic for Open Distributed Systems;Gotzhein,1991
4. Object oriented modelling in Z for Open Distributed Systems;Cusack,1991