1. The existence of refinement mappings;Abadi;Theoret. comput. Sci.,1991
2. Introduction to the ISO specification language LOTOS;Bolognesi;Comput. Networks ISDN Systems,1988
3. Safety for branching time semantics;Bouajjani,1991
4. Algebraic specification of dynamic Leader Election Protocols in broadcast networks;Brunekreef,1995
5. Also available as Technical Report P9324, University of Amsterdam.