
diff -r feede61efa96 -r 866172a16472 book/src/document.bbl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/book/src/document.bbl	Wed Mar 23 21:10:10 2011 +0100
@@ -0,0 +1,81 @@
+\begin{thebibliography}{GHJV95}
+
+\bibitem[ALSU07]{compilers}
+Alfred~V. Aho, Monica~S. Lam, Ravi Sethi, and Jeffrey~D. Ullman.
+\newblock {\em Compilers - Principles, Techniques and Tools}.
+\newblock Addison Wesley, 2007.
+
+\bibitem[Com05]{iec_61508}
+International~Electrotechnical Commission.
+\newblock {\em IEC 61508 Functional safety of
+  electrical/electronic/programmable electronic safety-related systems}.
+\newblock IEC, 1998/2005.
+
+\bibitem[DME99]{eurocontrol_dman}
+E.~Dubouchet, G.~Mavoian, and E.Page.
+\newblock {\em PHARE - Advanced Tools Departure Manager}.
+\newblock EUROCONTROL / CENA, 1999.
+
+\bibitem[DS09]{bison_manual}
+Charles Donnelly and Richard Stallman.
+\newblock {\em Bison -- The Yacc-compatible Parser Generator}.
+\newblock Free Software Foundation, 2009.
+
+\bibitem[GHJV95]{design_patterns}
+Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides.
+\newblock {\em Design Patterns. Elements of Reusable Object-Oriented Software}.
+\newblock Addison-Wesley Longman, 1995.
+
+\bibitem[Glo08]{code_gen}
+Tilman Gloetzner.
+\newblock {\em IEC 61508 Certification of a Code Generator}.
+\newblock 3rd IET International conference on System Safety, 2008.
+
+\bibitem[Joh]{yacc_paper}
+Stephen~C. Johnson.
+\newblock {\em Yacc: Yet Another Compiler-Compiler}.
+\newblock The University of Texas At Austin \emph{(Online)}.
+
+\bibitem[Klu07]{flugleiter_dman}
+Marek Kluzniak.
+\newblock {\em Departure Manager DMAN Frankfurt}.
+\newblock Der Flugleiter -- Gewerkschaft der Flugsicherung GdF, April, 2007.
+
+\bibitem[LS]{lex_paper}
+M.~E. Lesk and E.~Schmidt.
+\newblock {\em Lex -- A Lexical Analyser Generator}.
+\newblock The University of Texas At Austin \emph{(Online)}.
+
+\bibitem[May02]{personal}
+Rodney May.
+\newblock {\em Personal Competencies and the Requirements of IEC 61508}.
+\newblock Programmable Electronics and Safety Systems: Issues, Standards and
+  Practical Aspects, 2002.
+
+\bibitem[Men04]{moderne_flugsicherung}
+Heinrich Mensen.
+\newblock {\em Moderne Flugsicherung - Organisation, Verfahren, Technik}.
+\newblock Springer, 2004.
+
+\bibitem[Nie]{lex_yacc_guide}
+Tom Niemann.
+\newblock {\em A Compact Guide to Lex and Yacc}.
+\newblock epaperpress.com.
+
+\bibitem[Org96]{icao_4444}
+International Civil~Aviation Organization.
+\newblock {\em Procedures for Air Navigation Services: Rules of the Air and Air
+  Traffic Services}.
+\newblock ICAO, 1996.
+
+\bibitem[PEM07]{flex_manual}
+Vern Paxson, Will Estes, and John Millaway.
+\newblock {\em The flex Manual}.
+\newblock The Flex Project, 2007.
+
+\bibitem[Wir77]{ebnf}
+Niklaus Wirth.
+\newblock {\em Communications of the ACM}.
+\newblock ACM, 1977.
+
+\end{thebibliography}




