First improvements
[T7] / docs / main.bib
1 @book{CompilerDesignInC,
2         author    = "Allen I. Holub",
3         title     = "Compiler Design In C",
4         ISBN      = "0-13-155045-4",
5         year      = "1990",
6     publisher = "Prentice-Hall, Inc.",
7         address   = "Englewood Cliffs, New Jersey 07632"
8 }
9
10 @book{VDMdevelopment,
11         author    = "Cliff B.Jones",
12         title     = "Systematic Software Development Using VDM",
13         ISBN      = "0-13-880717-5",
14         year      = "1986",
15     publisher = "Prentice-Hall, Inc.",
16         address   = "Englewood Cliffs, New Jersey 07632"
17 }