The linear abstract machine. Theoretical Computer Science, 59(1– 2):157–180 (1988)

by Yves Lafont
Venue:Advances in Linear Logic, volume 222 of London Mathematical Society Lecture Notes