1. “Introduction to the ISO specification language LOTOS”;Bolognesi,1989
2. Brinksma E., G. Scollo, and C. Steenbergen, LOTOS Specifications, Their Implementations and Their Tests, Protocol Specification, Testing and Verification, VI, IFIP, 1987.
3. Ichikawa, H., K. Yamanaka, and J. Kato, Incremental Specification in LOTOS, In L. Logrippo, R.L. Probert, and H. Ural, editors, Protocol Specification, Testing and Verification X, 183–196, Ottawa, Canada, 1990.
4. Khendek F., and G. von Bochmann, Incremental Construction Approach for Distributed System Specification, Proc. Int. Symp. on Formal Description Techniques, Boston, 1993.
5. Merging behavior specification;Khendek;Journal of Formal Methods in System Design,1995