The Chemical Abstract Machine (1990)

by G Berry, G Boudol
Venue:In POPL