Cosimo Laneve Fabien Tarissan A Simple Calculus for Proteins and Cells. 139-154 2007 171 Electr. Notes Theor. Comput. Sci. 2 http://dx.doi.org/10.1016/j.entcs.2007.05.013 db/journals/entcs/entcs171.html#LaneveT07