1. Pierre Boutillier Jérôme Feret Jean Krivine and Lý Kim Quyên. 2017. KaSim and KaSa Reference Manual. http://dev.executableknowledge.org/docs/ KaSim-manual-master/KaSim_manual.htm. Pierre Boutillier Jérôme Feret Jean Krivine and Lý Kim Quyên. 2017. KaSim and KaSa Reference Manual. http://dev.executableknowledge.org/docs/ KaSim-manual-master/KaSim_manual.htm.
2. Rule-based modeling: a computational approach for studying biomolecular site dynamics in cell signaling systems. Wiley Interdisciplinary Reviews;Chylek Lily A.;Systems Biology and Medicine,2014
3. Formal molecular biology
4. Formal Biochemical Space with Semantics in Kappa and BNGL