Una teoria algebrica per i «guarded commands» di Dijkstra Giorgio Casadei, Roberto Righi, Antonio G. B. Teolis (1978) Rendiconti del Seminario Matematico della Università di Padova
Une approche quantitative de l'exclusion mutuelle Jean Françon (1986) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages Ph. Darondeau (1986) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Uninterruptable and Other Regions Miroslav Hajduković, Danilo Obradović, Branko Perišić (1998) The Yugoslav Journal of Operations Research