Semantique Operationelle at Algebrique des Programmes Recursifs NonDeterministes ", Th`ese d'Etat, Universit'e de Paris VII (1980)

by G Boudol