The linear abstract machine (1988)

by Yves Lafont
Venue:Theoretical Computer Science