Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministesPatrice NaudinRAIRO-Theor. Inf. Appl., 21 1 (1987) 59-91DOI: https://doi.org/10.1051/ita/1987210100591
