1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/book/src/document.bbl	Wed Mar 23 21:10:10 2011 +0100
     1.3 @@ -0,0 +1,81 @@
     1.4 +\begin{thebibliography}{GHJV95}
     1.5 +
     1.6 +\bibitem[ALSU07]{compilers}
     1.7 +Alfred~V. Aho, Monica~S. Lam, Ravi Sethi, and Jeffrey~D. Ullman.
     1.8 +\newblock {\em Compilers - Principles, Techniques and Tools}.
     1.9 +\newblock Addison Wesley, 2007.
    1.10 +
    1.11 +\bibitem[Com05]{iec_61508}
    1.12 +International~Electrotechnical Commission.
    1.13 +\newblock {\em IEC 61508 Functional safety of
    1.14 +  electrical/electronic/programmable electronic safety-related systems}.
    1.15 +\newblock IEC, 1998/2005.
    1.16 +
    1.17 +\bibitem[DME99]{eurocontrol_dman}
    1.18 +E.~Dubouchet, G.~Mavoian, and E.Page.
    1.19 +\newblock {\em PHARE - Advanced Tools Departure Manager}.
    1.20 +\newblock EUROCONTROL / CENA, 1999.
    1.21 +
    1.22 +\bibitem[DS09]{bison_manual}
    1.23 +Charles Donnelly and Richard Stallman.
    1.24 +\newblock {\em Bison -- The Yacc-compatible Parser Generator}.
    1.25 +\newblock Free Software Foundation, 2009.
    1.26 +
    1.27 +\bibitem[GHJV95]{design_patterns}
    1.28 +Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides.
    1.29 +\newblock {\em Design Patterns. Elements of Reusable Object-Oriented Software}.
    1.30 +\newblock Addison-Wesley Longman, 1995.
    1.31 +
    1.32 +\bibitem[Glo08]{code_gen}
    1.33 +Tilman Gloetzner.
    1.34 +\newblock {\em IEC 61508 Certification of a Code Generator}.
    1.35 +\newblock 3rd IET International conference on System Safety, 2008.
    1.36 +
    1.37 +\bibitem[Joh]{yacc_paper}
    1.38 +Stephen~C. Johnson.
    1.39 +\newblock {\em Yacc: Yet Another Compiler-Compiler}.
    1.40 +\newblock The University of Texas At Austin \emph{(Online)}.
    1.41 +
    1.42 +\bibitem[Klu07]{flugleiter_dman}
    1.43 +Marek Kluzniak.
    1.44 +\newblock {\em Departure Manager DMAN Frankfurt}.
    1.45 +\newblock Der Flugleiter -- Gewerkschaft der Flugsicherung GdF, April, 2007.
    1.46 +
    1.47 +\bibitem[LS]{lex_paper}
    1.48 +M.~E. Lesk and E.~Schmidt.
    1.49 +\newblock {\em Lex -- A Lexical Analyser Generator}.
    1.50 +\newblock The University of Texas At Austin \emph{(Online)}.
    1.51 +
    1.52 +\bibitem[May02]{personal}
    1.53 +Rodney May.
    1.54 +\newblock {\em Personal Competencies and the Requirements of IEC 61508}.
    1.55 +\newblock Programmable Electronics and Safety Systems: Issues, Standards and
    1.56 +  Practical Aspects, 2002.
    1.57 +
    1.58 +\bibitem[Men04]{moderne_flugsicherung}
    1.59 +Heinrich Mensen.
    1.60 +\newblock {\em Moderne Flugsicherung - Organisation, Verfahren, Technik}.
    1.61 +\newblock Springer, 2004.
    1.62 +
    1.63 +\bibitem[Nie]{lex_yacc_guide}
    1.64 +Tom Niemann.
    1.65 +\newblock {\em A Compact Guide to Lex and Yacc}.
    1.66 +\newblock epaperpress.com.
    1.67 +
    1.68 +\bibitem[Org96]{icao_4444}
    1.69 +International Civil~Aviation Organization.
    1.70 +\newblock {\em Procedures for Air Navigation Services: Rules of the Air and Air
    1.71 +  Traffic Services}.
    1.72 +\newblock ICAO, 1996.
    1.73 +
    1.74 +\bibitem[PEM07]{flex_manual}
    1.75 +Vern Paxson, Will Estes, and John Millaway.
    1.76 +\newblock {\em The flex Manual}.
    1.77 +\newblock The Flex Project, 2007.
    1.78 +
    1.79 +\bibitem[Wir77]{ebnf}
    1.80 +Niklaus Wirth.
    1.81 +\newblock {\em Communications of the ACM}.
    1.82 +\newblock ACM, 1977.
    1.83 +
    1.84 +\end{thebibliography}