α» ChemicalAbstractMachine edit** « wiki αt10xxxxx

GerardBoudol: http://www-sop.inria.fr/members/Gerard.Boudol/tcs96.html