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 charpente de semi-unification J.-L. Durieux, E. Saint-James (1988) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Une modification de la méthode GRG J. Abadie (1979) RAIRO - Operations Research - Recherche Opérationnelle