Langages formels dans la machine abstraite biochimique BIOCHAM. - Laurence Calzone; Nathalie Chabrier-Rivier; François Fages; L. Fosse; Sylvain Soliman (Tech. Sci. Informatiques, 2007)