@book(Ashenden2002,
 author       = "PJ~Ashenden",
 year         = "2008",
 title        = "{The Designer's Guide to VHDL}",
 publisher    = "Morgan Kaufmann Publishers",
)
@article(Basu2005,
 author       = "S.~Basu and Y.~Gerchman and C.~H Collins and F.~H Arnold and R.~Weiss",
 year         = "2005",
 title        = "{A Synthetic Multicellular System for Programmed Pattern Formation.}",
 journal      = "Nature",
 volume       = "434",
 number       = "7037",
 pages        = "1130--4",
 doi          = "10.1038/nature03461",
)
@article(Beal2011,
 author       = "J.~Beal and T.~Lu and R.~Weiss",
 year         = "2011",
 title        = "{Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks}",
 journal      = "PLoS ONE",
 volume       = "6",
 number       = "8",
 pages        = "e22490",
 doi          = "10.1371/journal.pone.0022490",
)
@article(Bilitchenko2011,
 author       = "L.~Bilitchenko and A.~Liu and S.~Cheung and E.~Weeding and B.~Xia and M.~Leguia and J~C. Anderson and D.~Densmore",
 year         = "2011",
 title        = "{Eugene--A Domain Specific Language for Specifying and Constraining Synthetic Biological Parts, Devices, and Systems.}",
 journal      = "PloS one",
 volume       = "6",
 number       = "4",
 pages        = "e18882",
 doi          = "10.1371/journal.pone.0018882",
)
@book(Blackburn2006,
 author       = "P.~Blackburn and J.~F. A.~K. van Benthem and F.~Wolter",
 year         = "2006",
 title        = "{Handbook of Modal Logic, Volume 3 (Studies in Logic and Practical Reasoning)}",
 publisher    = "Elsevier Science Inc.",
 doi          = "10.1016/S1570-2464(07)80017-6",
)
@book(Brauner2010,
 author       = "T.~Bra\"{u}ner",
 year         = "2010",
 title        = "{Hybrid Logic and Its Proof-Theory}",
 publisher    = "Springer",
 doi          = "10.1007/978-94-007-0002-4",
)
@article(Cai2009,
 author       = "Y.~Cai and M.~W Lux and L.~Adam and J.~Peccoud",
 year         = "2009",
 title        = "{Modeling Structure-function Relationships in Synthetic DNA Sequences Using Attribute Grammars.}",
 journal      = "PLoS Computational Biology",
 volume       = "5",
 number       = "10",
 doi          = "10.1371/journal.pcbi.1000529",
)
@article(Calzone2006,
 author       = "L.~Calzone and F.~Fages and S.~Soliman",
 year         = "2006",
 title        = "{BIOCHAM: An Environment for Modeling Biological Systems and Formalizing Experimental Knowledge.}",
 journal      = "Bioinformatics (Oxford, England)",
 volume       = "22",
 number       = "14",
 pages        = "1805--7",
 doi          = "10.1093/bioinformatics/btl172",
)
@inproceedings(Cerrito2011,
 author       = "S.~Cerrito and M.~C. Mayer",
 year         = "2011",
 title        = "A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders",
 booktitle    = "Proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods",
 series       = "TABLEAUX'11",
 publisher    = "Springer-Verlag",
 pages        = "104--118",
 doi          = "10.1007/978-3-642-22119-4_10",
)
@article(Ciocchetta2009,
 author       = "F.~Ciocchetta and J.~Hillston",
 year         = "2009",
 title        = "{Bio-PEPA: A Framework for the Modelling and Analysis of Biological Systems}",
 journal      = "Theoretical Computer Science",
 volume       = "410",
 number       = "33-34",
 pages        = "3065--3084",
 doi          = "10.1016/j.tcs.2009.02.037",
)
@article(Clancy2010,
 author       = "K.~Clancy and C.~A Voigt",
 year         = "2010",
 title        = "{Programming Cells: Towards an Automated Genetic Compiler}",
 journal      = "Current Opinion in Biotechnology",
 volume       = "21",
 number       = "4",
 pages        = "581--572",
 doi          = "10.1016/j.copbio.2010.07.005",
)
@article(Czar2009,
 author       = "M.~J Czar and Y.~Cai and J.~Peccoud",
 year         = "2009",
 title        = "{Writing DNA with GenoCAD.}",
 journal      = "Nucleic Acids Research",
 volume       = "37",
 number       = "Web Server issue",
 pages        = "W40--7",
 doi          = "10.1093/nar/gkp361",
)
@inproceedings(Danos07,
 author       = "V.~Danos and J.~Feret and W.~Fontana and R.~Harmer and J.~Krivine",
 year         = "2007",
 title        = "Rule-Based Modelling of Cellular Signalling",
 booktitle    = "CONCUR",
 pages        = "17--41",
 doi          = "10.1007/978-3-540-74407-8_3",
)
@inproceedings(Delaplace2010,
 author       = "F.~Delaplace and H.~Klaudel and A.~Cartier-Michaud",
 year         = "2010",
 title        = "{Discrete Causal ModelView of Biological Networks}",
 booktitle    = "Proceedings of the 8th International Conference on Computational Methods in Systems Biology - CMSB '10",
 publisher    = "ACM Press",
 address      = "New York, New York, USA",
 pages        = "4--13",
 doi          = "10.1145/1839764.1839767",
)
@incollection(Spicher2005,
 author       = "J.L. Giavitto and O.~Michel and J.~Cohen and A.~Spicher",
 year         = "2005",
 title        = "Computations in Space and Space in Computations",
 booktitle    = "Unconventional Programming Paradigms",
 series       = "Lecture Notes in Computer Science",
 volume       = "3566",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "97--97",
 doi          = "10.1007/11527800_11",
)
@article(Gibson2010,
 author       = "D.G. Gibson and J.I. Glass and C.~Lartigue and V.N. Noskov and R.Y. Chuang and M.A. Algire and G.A. Benders and M.G. Montague and L.~Ma and M.M. Moodie and Others",
 year         = "2010",
 title        = "{Creation of a Bacterial Cell Controlled by a Chemically Synthesized Genome}",
 journal      = "Science",
 volume       = "329",
 number       = "5987",
 pages        = "52",
 doi          = "10.1126/science.1190719",
)
@book(Hume1739,
 author       = "D.~Hume",
 year         = "1739",
 title        = "A Treatise of Human Nature, Being an Attempt to Introduce the Experimental Method of Reasoning into Moral Subjects",
 publisher    = "unknow",
 doi          = "10.1037/12868-000",
)
@article(Lewis2000,
 author       = "D.~Lewis",
 year         = "2000",
 title        = "{Causation as Influence}",
 journal      = "The Journal of Philosophy",
 volume       = "97",
 number       = "4",
 pages        = "182--197",
 doi          = "10.2307/2678389",
)
@article(Lu2009,
 author       = "T.~K Lu and A.~S Khalil and J.~J Collins",
 year         = "2009",
 title        = "{Next-generation Synthetic Gene Networks}",
 journal      = "Nature Biotechnology",
 volume       = "27",
 number       = "12",
 pages        = "1139----1150",
 doi          = "10.1038/nbt.1591",
)
@article(Pedersen2009a,
 author       = "M.~P. Pedersen",
 year         = "2009",
 title        = "{Towards Programming Languages for Genetic Engineering of Living Cells}",
 journal      = "Journal of the Royal Society, Interface",
 volume       = "6 Suppl 4",
 pages        = "S437--450",
 doi          = "10.1098/rsif.2008.0516.focus",
)
@article(Priami2001,
 author       = "C.~Priami and A.~Regev and E.~Shapiro and W.~Silverman",
 year         = "2001",
 title        = "{Application of a Stochastic Name-passing Calculus to Representation and Simulation of Molecular Processes}",
 journal      = "Information Processing Letters",
 volume       = "80",
 number       = "1",
 pages        = "25--31",
 doi          = "10.1016/S0020-0190(01)00214-9",
)
@article(Purnick2009,
 author       = "P.~E~M Purnick and R.~Weiss",
 year         = "2009",
 title        = "{The Second Wave of Synthetic Biology: From Modules to Systems.}",
 journal      = "Nature Reviews. Molecular Cell Biology",
 volume       = "10",
 number       = "6",
 pages        = "410--22",
 doi          = "10.1038/nrm2698",
)
@article(Regot2010,
 author       = "S.~Regot and J.~Macia and N.~Conde and K.~Furukawa and J.~Kjell\'{e}n and T.~Peeters and S.~Hohmann and E.~de~Nadal and F.~Posas and R.~Sol\'{e}",
 year         = "2010",
 title        = "{Distributed Biological Computation with Multicellular Engineered Networks}",
 journal      = "Nature",
 pages        = "2--6",
 doi          = "10.1038/nature09679",
)
@book(Thomas1998,
 author       = "D.~E. Thomas and P.~Moorby",
 year         = "1998",
 title        = "{The Verilog Hardware Description Language}",
 publisher    = "Kluwer Academic Publishers",
 doi          = "10.1007/978-1-4615-3992-6",
)
@article(Umesh2010,
 author       = "P.~Umesh and F.~Naveen and C.U.M. Rao and S.A. Nair",
 year         = "2010",
 title        = "Programming Languages for Synthetic Biology",
 journal      = "Systems and Synthetic Biology",
 volume       = "4",
 number       = "4",
 pages        = "265--269",
 doi          = "10.1007/s11693-011-9070-y",
)
@article(Ye2011,
 author       = "H.~Ye and M.~{Daoud-El Baba} and R-W. Peng and M.~Fussenegger",
 year         = "2011",
 title        = "{A Synthetic Optogenetic Transcription Device Enhances Blood-glucose Homeostasis in Mice.}",
 journal      = "Science (New York, N.Y.)",
 volume       = "332",
 number       = "6037",
 pages        = "1565--8",
 doi          = "10.1126/science.1203535",
)