G.Boudol, "The Chemical Abstract Machine", Theoretical Computer Science 96 (1992)

by G Berry