Semantique Operationelle at Algebrique Des Programmes Recursifs Non-Deterministes" These d'Etat, Universite de Paris VII (1980)

by G Boudol