1. ODP enterprise language: uml perspective;Oyvind Aagedal,1999
2. Using the uml language to express the ODP enterprise concepts;Blanc,1999
3. Consistency and refinement for partial specification in Z;Boiten,1996
4. Constructive consistency checking for partial specification in Z;Boiten;Sci. Comput. Program.,1999
5. Introduction to the ISO specification language lotos;Bolognesi;Comput. Networks ISDN Syst.,1987