A Language for Biochemical Systems: Design and Formal Specification

Michael Pedersen, Gordon D. Plotkin. A Language for Biochemical Systems: Design and Formal Specification. Transactions on Computational Systems Biology, 12:77-145, 2010. [doi]

Bibliographies