Aviv Regev, William Silverman, Ehud Shapiro: Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra. Pacific Symposium on Biocomputing 2001: 459-470