22 author= {Geary, David M.}, |
22 author= {Geary, David M.}, |
23 title={Graphic Java/ Volume 2 : Mastering the JFC - Swing Components}, |
23 title={Graphic Java/ Volume 2 : Mastering the JFC - Swing Components}, |
24 publisher= {Prentice Hall International}, |
24 publisher= {Prentice Hall International}, |
25 year={1999} |
25 year={1999} |
26 } |
26 } |
|
27 |
|
28 @book{Paulson:Isa94, |
|
29 title={Isabelle: a generic theorem prover}, |
|
30 author={Paulson, Lawrence C. }, publisher={Springer-Verlag},year={1994}, |
|
31 volume={828},series={Lecture Notes in Computer Science},address={},edition={},month={}, |
|
32 note={With contributions by Topias Nipkow}, |
|
33 status={},source={},location={-} |
|
34 } |
27 |
35 |
28 @Book{Paulson:91, |
36 @Book{Paulson:91, |
29 author = "L. C. Paulson", |
37 author = "L. C. Paulson", |
30 title = "ML for the Working Programmer", |
38 title = "ML for the Working Programmer", |
31 publisher = "Cambridge University Press", |
39 publisher = "Cambridge University Press", |