Nondeterminism and Fully Abstract Models (1980)

by E Astesiano, G Costa
Venue:R.A.I.R.O. Theor. Inf