An Abstract Framework for Environment Machines (1991)

by P-L Curien
Venue:Theor. Comput. Sci