The linear abstract machine (1988)

by Yves Lafont
Venue:Theor. Comput. Sci