F.  Giannotti and Latella, D., ?Gate Splitting in LOTOS Specifications Using Abstract Interpretation?, Sci. Comput. Program., vol. 23, pp. 127-149, 1994.

F.  Giannotti and Latella, D., ?Gate Splitting in LOTOS Specifications Using Abstract Interpretation?, in TAPSOFT, 1993, pp. 437-452.

F.  Giannotti and Latella, D., ?Using Abstract Interpretation for Gate splitting in LOTOS Specifications?, in WSA, 1992, pp. 194-204.