sawine@0: @book{iec_61508,
sawine@0: 	author="International Electrotechnical Commission",
sawine@0: 	publisher="IEC",
sawine@0: 	title="IEC 61508 Functional safety of electrical/electronic/programmable electronic safety-related systems",
sawine@0: 	year="1998/2005"
sawine@0: }
sawine@0: @book{personal,
sawine@0: 	author="Rodney May",
sawine@0: 	publisher="Programmable Electronics and Safety Systems: Issues, Standards and Practical Aspects",
sawine@0: 	title="Personal Competencies and the Requirements of IEC 61508",
sawine@0: 	year=2002
sawine@0: }
sawine@0: @book{moderne_flugsicherung,
sawine@0: 	author="Heinrich Mensen",
sawine@0: 	publisher="Springer",
sawine@0: 	title="Moderne Flugsicherung - Organisation, Verfahren, Technik",
sawine@0: 	year=2004
sawine@0: }
sawine@0: @book{compilers,
sawine@0: 	author="Alfred V. Aho and Monica S. Lam and Ravi Sethi and Jeffrey D. Ullman",
sawine@0: 	publisher="Addison Wesley",
sawine@0: 	title="Compilers - Principles, Techniques and Tools",
sawine@0: 	year=2007
sawine@0: }
sawine@0: @book{code_gen,
sawine@0: 	author="Tilman Gloetzner",
sawine@0: 	publisher="3rd IET International conference on System Safety",
sawine@0: 	title="IEC 61508 Certification of a Code Generator",
sawine@0: 	year=2008
sawine@0: }
sawine@0: @book{eurocontrol_dman,
sawine@0: 	author="E. Dubouchet and G. Mavoian and E.Page",
sawine@0: 	publisher="EUROCONTROL / CENA",
sawine@0: 	title="PHARE - Advanced Tools Departure Manager",
sawine@0: 	year=1999
sawine@0: }
sawine@0: @book{lex_paper,
sawine@0: 	author="M. E. Lesk and E. Schmidt",
sawine@0: 	publisher="The University of Texas At Austin \emph{(Online)}",
sawine@0: 	title="Lex -- A Lexical Analyser Generator"
sawine@0: }
sawine@0: @book{yacc_paper,
sawine@0: 	author="Stephen C. Johnson",
sawine@0: 	publisher="The University of Texas At Austin \emph{(Online)}",
sawine@0: 	title="Yacc: Yet Another Compiler-Compiler"
sawine@0: }
sawine@0: @book{bison_manual,
sawine@0: 	author="Charles Donnelly and Richard Stallman",
sawine@0: 	publisher="Free Software Foundation",
sawine@0: 	title="Bison -- The Yacc-compatible Parser Generator",
sawine@0: 	year=2009
sawine@0: }
sawine@0: @book{flex_manual,
sawine@0: 	author="Vern Paxson and Will Estes and John Millaway",
sawine@0: 	publisher="The Flex Project",
sawine@0: 	title="The flex Manual",
sawine@0: 	year=2007
sawine@0: }
sawine@0: @book{lex_yacc_guide,
sawine@0: 	author="Tom Niemann",
sawine@0: 	publisher="epaperpress.com",
sawine@0: 	title="A Compact Guide to Lex and Yacc"
sawine@0: }
sawine@0: @book{icao_4444,
sawine@0: 	author="International Civil Aviation Organization",
sawine@0: 	publisher="ICAO",
sawine@0: 	title="Procedures for Air Navigation Services: Rules of the Air and Air Traffic Services",
sawine@0: 	year=1996
sawine@0: }
sawine@0: @book{flugleiter_dman,
sawine@0: 	author="Marek Kluzniak",
sawine@0: 	publisher="Der Flugleiter -- Gewerkschaft der Flugsicherung GdF",
sawine@0: 	title="Departure Manager DMAN Frankfurt",
sawine@0: 	year="April, 2007"
sawine@0: }
sawine@0: @book{design_patterns,
sawine@0: 	author="Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides",
sawine@0: 	publisher="Addison-Wesley Longman",
sawine@0: 	title="Design Patterns. Elements of Reusable Object-Oriented Software",
sawine@0: 	year=1995
sawine@0: }
sawine@0: @book{ebnf,
sawine@0: 	author="Niklaus Wirth",
sawine@0: 	publisher="ACM",
sawine@0: 	title="Communications of the ACM",
sawine@0: 	year=1977
sawine@0: }