Bouali A. The integration project for the JACK environment / A. Bouali, S. Gnesi, S. Larosa, 1994. - 28 p. - Текст : непосредственный.
Bouali A. Branching bisimulation as a strong bisimulation / A.Bouali,R.de Nicola, 1994. - 14 p. - Текст : непосредственный.