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