Frédéric Boussinot Proposition de Semantique Denotationelle pour des Reseaux de Processus avec Operateur de Melange Equitable. 173-206 1982 18 Theor. Comput. Sci. db/journals/tcs/tcs18.html#Boussinot82