Layout adjustments, new preface.
2 author="International Electrotechnical Commission",
4 title="IEC 61508 Functional safety of electrical/electronic/programmable electronic safety-related systems",
9 publisher="Programmable Electronics and Safety Systems: Issues, Standards and Practical Aspects",
10 title="Personal Competencies and the Requirements of IEC 61508",
13 @book{moderne_flugsicherung,
14 author="Heinrich Mensen",
16 title="Moderne Flugsicherung - Organisation, Verfahren, Technik",
20 author="Alfred V. Aho and Monica S. Lam and Ravi Sethi and Jeffrey D. Ullman",
21 publisher="Addison Wesley",
22 title="Compilers - Principles, Techniques and Tools",
26 author="Tilman Gloetzner",
27 publisher="3rd IET International conference on System Safety",
28 title="IEC 61508 Certification of a Code Generator",
31 @book{eurocontrol_dman,
32 author="E. Dubouchet and G. Mavoian and E.Page",
33 publisher="EUROCONTROL / CENA",
34 title="PHARE - Advanced Tools Departure Manager",
38 author="M. E. Lesk and E. Schmidt",
39 publisher="The University of Texas At Austin \emph{(Online)}",
40 title="Lex -- A Lexical Analyser Generator"
43 author="Stephen C. Johnson",
44 publisher="The University of Texas At Austin \emph{(Online)}",
45 title="Yacc: Yet Another Compiler-Compiler"
48 author="Charles Donnelly and Richard Stallman",
49 publisher="Free Software Foundation",
50 title="Bison -- The Yacc-compatible Parser Generator",
54 author="Vern Paxson and Will Estes and John Millaway",
55 publisher="The Flex Project",
56 title="The flex Manual",
61 publisher="epaperpress.com",
62 title="A Compact Guide to Lex and Yacc"
65 author="International Civil Aviation Organization",
67 title="Procedures for Air Navigation Services: Rules of the Air and Air Traffic Services",
70 @book{flugleiter_dman,
71 author="Marek Kluzniak",
72 publisher="Der Flugleiter -- Gewerkschaft der Flugsicherung GdF",
73 title="Departure Manager DMAN Frankfurt",
76 @book{design_patterns,
77 author="Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides",
78 publisher="Addison-Wesley Longman",
79 title="Design Patterns. Elements of Reusable Object-Oriented Software",
83 author="Niklaus Wirth",
85 title="Communications of the ACM",