Semantique Operationelle et Algebrique des Programmes Recursifs Non-Deterministes", These d'Etat, Universite deParis VII (1980)

by G Boudol