diff --git a/bib/arrays.bib b/bib/arrays.bib
new file mode 100644
index 0000000..846feb3
--- /dev/null
+++ b/bib/arrays.bib
@@ -0,0 +1,13 @@
+@article{FreundO14,
+  author    = {Rudolf Freund and
+                 Marion Oswald},
+  title     = {Array Grammars and Automata on Cayley Grids},
+  journal   = {Journal of Automata, Languages and Combinatorics},
+  volume    = {19},
+  number    = {1-4},
+  pages     = {67--80},
+  year      = {2014},
+  timestamp = {Tue, 09 Sep 2014 16:47:07 +0200},
+  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jalc/FreundO14},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
diff --git a/bib/mcrs.bib b/bib/mcrs.bib
new file mode 100644
index 0000000..c849fd4
--- /dev/null
+++ b/bib/mcrs.bib
@@ -0,0 +1,258 @@
+%% This BibTeX bibliography file was created using BibDesk.
+%% http://bibdesk.sourceforge.net/
+
+
+%% Created for Ion Petre at 2014-10-03 16:02:53 +0300
+
+
+%% Saved with string encoding Unicode (UTF-8)
+
+
+
+@techreport{meski2014,
+	Author = {Meski, Artur and Penczek, Wojciech and Rozenberg, Grzegorz},
+	Date-Added = {2014-10-03 13:01:29 +0000},
+	Date-Modified = {2014-10-03 13:02:44 +0000},
+	Institution = {University of Warsaw},
+	Number = {1028},
+	Title = {Model checking temporal properties of reaction systems},
+	Year = {2014}}
+
+@article{mauri2012,
+	Author = {Luca Corolli and Carlo Maj and Fabrizio Marini and Daniela Besozzi and Giancarlo Mauri},
+	Bibsource = {dblp computer science bibliography, http://dblp.org},
+	Biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/CorolliMMBM12},
+	Doi = {10.1016/j.tcs.2012.04.003},
+	Journal = {Theoretical Computer Science},
+	Pages = {95--108},
+	Timestamp = {Fri, 03 Oct 2014 14:54:30 +0200},
+	Title = {An excursion in reaction systems: From computer science to biology},
+	Url = {http://dx.doi.org/10.1016/j.tcs.2012.04.003},
+	Volume = {454},
+	Year = {2012},
+	Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.tcs.2012.04.003}}
+
+@inproceedings{salomaa2012b,
+	Author = {Salomaa, Arto},
+	Booktitle = {Kozen Fetschrift},
+	Date-Added = {2014-10-03 12:44:53 +0000},
+	Date-Modified = {2014-10-03 12:46:56 +0000},
+	Editor = {R.L. Constable, A. Silva},
+	Number = {7230},
+	Pages = {271-282},
+	Series = {LNCS},
+	Title = {On state sequences defined by reaction systems},
+	Year = {2012}}
+
+@article{salomaa2013,
+	Author = {Salomaa, Arto},
+	Date-Added = {2014-10-03 12:42:44 +0000},
+	Date-Modified = {2014-10-03 12:44:28 +0000},
+	Journal = {International Journal of Foundations of Computer Science},
+	Number = {1},
+	Pages = {147-159},
+	Title = {Functional constructions between reaction systems and propositional logic},
+	Volume = {24},
+	Year = {2013}}
+
+@article{salomaa2012,
+	Author = {Salomaa, Arto},
+	Date-Added = {2014-10-03 12:40:28 +0000},
+	Date-Modified = {2014-10-03 12:41:35 +0000},
+	Journal = {Theoretical Computer Science},
+	Pages = {87-96},
+	Title = {Functions and sequences generated by reaction systems},
+	Volume = {466},
+	Year = {2012}}
+
+@article{ehrenfeucht2007reaction,
+	Author = {Ehrenfeucht, Andrzej and Rozenberg, Grzegorz},
+	Journal = {Fundamenta Informaticae},
+	Number = {1},
+	Pages = {263--280},
+	Publisher = {IOS Press},
+	Title = {Reaction systems},
+	Volume = {75},
+	Year = {2007}}
+
+@article{ehrenfeucht2011functions,
+	Author = {Ehrenfeucht, Andrzej and Main, Michael and Rozenberg, Grzegorz},
+	Journal = {International Journal of Foundations of Computer Science},
+	Number = {01},
+	Pages = {167--178},
+	Publisher = {World Scientific},
+	Title = {Functions defined by reaction systems},
+	Volume = {22},
+	Year = {2011}}
+
+@article{azimi2014reaction,
+	Author = {Azimi, Sepinoud and Iancu, Bogdan and Petre, Ion},
+	Journal = {Fundamenta Informaticae},
+	Number = {3},
+	Pages = {299--312},
+	Publisher = {IOS Press},
+	Title = {Reaction System Models for the Heat Shock Response},
+	Volume = {131},
+	Year = {2014}}
+
+@incollection{form-cgars,
+	Author = {Formenti, Enrico and Manzoni, Luca and Porreca, AntonioE.},
+	Booktitle = {Descriptional Complexity of Formal Systems},
+	Doi = {10.1007/978-3-319-09704-6_11},
+	Editor = {J{\"u}rgensen, Helmut and Karhum{\"a}ki, Juhani and Okhotin, Alexander},
+	Isbn = {978-3-319-09703-9},
+	Language = {English},
+	Pages = {114-125},
+	Publisher = {Springer International Publishing},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Cycles and Global Attractors of Reaction Systems},
+	Url = {http://dx.doi.org/10.1007/978-3-319-09704-6_11},
+	Volume = {8614},
+	Year = {2014},
+	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-319-09704-6_11}}
+
+@incollection{form-fpla,
+	Author = {Formenti, Enrico and Manzoni, Luca and Porreca, Antonio E.},
+	Booktitle = {Language, Life, Limits},
+	Doi = {10.1007/978-3-319-08019-2_20},
+	Editor = {Beckmann, Arnold and Csuhaj-Varj{\'u}, Erzs{\'e}bet and Meer, Klaus},
+	Isbn = {978-3-319-08018-5},
+	Language = {English},
+	Pages = {194-203},
+	Publisher = {Springer International Publishing},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Fixed Points and Attractors of Reaction Systems},
+	Url = {http://dx.doi.org/10.1007/978-3-319-08019-2_20},
+	Volume = {8493},
+	Year = {2014},
+	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-319-08019-2_20}}
+
+@article{brij-atofrs,
+	Author = {Robert Brijder and Andrzej Ehrenfeucht and Michael G. Main and Grzegorz Rozenberg},
+	Bibsource = {DBLP, http://dblp.uni-trier.de},
+	Ee = {http://dx.doi.org/10.1142/S0129054111008842},
+	Journal = {International Journal of Foundations of Computer Science},
+	Number = {7},
+	Pages = {1499-1517},
+	Title = {A Tour of reaction Systems},
+	Volume = {22},
+	Year = {2011}}
+
+@book{gibbons1985algorithmic,
+	Author = {Gibbons, Alan},
+	Isbn = {9780521288811},
+	Lccn = {lc84023835},
+	Publisher = {Cambridge University Press},
+	Title = {Algorithmic Graph Theory},
+	Url = {http://books.google.fi/books?id=Be6t04pgggwC},
+	Year = {1985},
+	Bdsk-Url-1 = {http://books.google.fi/books?id=Be6t04pgggwC}}
+
+@book{immerman1999descriptive,
+	Author = {Immerman, Neil},
+	Isbn = {9780387986005},
+	Lccn = {lc98033563},
+	Publisher = {Springer New York},
+	Series = {Graduate texts in computer science},
+	Title = {Descriptive Complexity},
+	Url = {http://books.google.fr/books?id=kWSZ0OWnupkC},
+	Year = {1999},
+	Bdsk-Url-1 = {http://books.google.fr/books?id=kWSZ0OWnupkC}}
+
+@inproceedings{formenti2014b,
+	Author = {Formenti, Enrico and Manzoni, Luca and Porreca, Antonio E.},
+	Booktitle = {Descriptional Complexity of Formal Systems},
+	Doi = {10.1007/978-3-642-32208-2_11},
+	Editor = {J{\"u}rgensen, Helmut and Karhum{\"a}ki, Juhani and Okhotin, Alexander},
+	Pages = {114--125},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Cycles and Global Attractors of Reaction Systems},
+	Volume = {8614},
+	Year = {2014},
+	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-642-32208-2_11}}
+
+@inproceedings{formenti2014a,
+	Author = {Formenti, Enrico and Manzoni, Luca and Porreca, Antonio E.},
+	Booktitle = {Language, Life, Limits, 10th Conference on Computability in Europe, CiE 2014},
+	Doi = {10.1007/978-3-319-08019-2_20},
+	Editor = {Beckmann, Arnold and Csuhaj-Varj\'u, Erzs\'ebet and Meer, Klaus},
+	Pages = {194--203},
+	Publisher = {Springer},
+	Series = {Lecture Notes in Computer Science},
+	Title = {Fixed Points and Attractors of Reaction Systems},
+	Volume = {8493},
+	Year = {2014},
+	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-319-08019-2_20}}
+
+@book{papadimitriou1993a,
+	Author = {Papadimitriou, Christos H.},
+	Publisher = {Addison-Wesley},
+	Title = {Computational Complexity},
+	Year = {1993}}
+
+@book{libkin2012a,
+	Author = {Libkin, Leonid},
+	Publisher = {Springer},
+	Title = {Elements of Finite Model Theory},
+	Year = {2012}}
+
+@book{Cormen:2001:IA:580470,
+	Author = {Cormen, Thomas H. and Stein, Clifford and Rivest, Ronald L. and Leiserson, Charles E.},
+	Edition = {2nd},
+	Isbn = {0070131511},
+	Publisher = {McGraw-Hill Higher Education},
+	Title = {Introduction to Algorithms},
+	Year = {2001}}
+
+@article{petre2011simple,
+	Author = {Petre, Ion and Mizera, Andrzej and Hyder, Claire L. and Meinander, Annika and Mikhailov, Andrey and Morimoto, Richard I. and Sistonen, Lea and Eriksson, John E. and Back, Ralph-Johan},
+	Journal = {Natural Computing},
+	Number = {1},
+	Pages = {595--612},
+	Publisher = {Springer},
+	Title = {A simple mass-action model for the eukaryotic heat shock response and its mathematical validation},
+	Volume = {10},
+	Year = {2011}}
+
+@article{rieger2005mathematical,
+	Author = {Rieger, Theodore R. and Morimoto, Richard I. and Hatzimanikatis, Vassily},
+	Journal = {Biophysical journal},
+	Number = {3},
+	Pages = {1646--1658},
+	Publisher = {Elsevier},
+	Title = {Mathematical Modeling of the Eukaryotic Heat-Shock Response: Dynamics of the hsp70 promoter},
+	Volume = {88},
+	Year = {2005}}
+
+@book{klipp2008systems,
+	Author = {Klipp, Edda and Herwig, Ralf and Kowald, Axel and Wierling, Christoph and Lehrach, Hans},
+	Publisher = {John Wiley \& Sons},
+	Title = {Systems biology in practice: concepts, implementation and application},
+	Year = {2008}}
+
+@article{provan1983complexity,
+	Author = {Provan, J Scott and Ball, Michael O.},
+	Journal = {SIAM Journal on Computing},
+	Number = {4},
+	Pages = {777--788},
+	Publisher = {SIAM},
+	Title = {The complexity of counting cuts and of computing the probability that a graph is connected},
+	Volume = {12},
+	Year = {1983}}
+
+@incollection{Voellmy2,
+year={2007},
+isbn={978-0-387-39974-4},
+booktitle={Molecular Aspects of the Stress Response: Chaperones, Membranes and Networks},
+volume={594},
+series={Advances in Experimental Medicine and Biology},
+editor={Csermely, Peter and V\'{i}gh, L\'{a}szl\'{o}},
+doi={10.1007/978-0-387-39975-1_9},
+title={Chaperone Regulation of the Heat Shock Protein Response},
+url={http://dx.doi.org/10.1007/978-0-387-39975-1_9},
+publisher={Springer New York},
+author={Voellmy, Richard and Boellmann, Frank},
+pages={89-99},
+language={English}
+}