Nondeterminism and Fully Abstract Models, in Informatique Théorique et (1980)

by E Astesiano, G Costa
Venue:Applications