1. H.R. Andersen, G. Winskel. Compositional Checking of Satisfaction. Formal Methods in System Design, 1(4), 1992.
2. R. Barbuti, N. De Francesco, A. Santone, G. Vaglini. Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. In Proceedings of FORTE X/PSTV XVII ‘87. Chapman & Hall, 1997. 519–534
3. R. Barbuti, N. De Francesco, A. Santone, G. Vaglini. Selective Mu-Calculus and Formula-Based Abstractions of Transition Systems. Journal of Computer and System Sciences, 59(3), 1999. 537–556.
4. T. Bolognesi, E. Brinksma. Introduction to ISO Specification Language LOTOS. Comp. Networks and ISDN Systems, 14, 1987. 2559.
5. A. Bouali, S. Gnesi, S. Larosa. The integration Project for the JACK Environment. Bulletin of the EATCS, 54, 1994. 207–223.