1.1 --- a/doc/WK/bib/WK.bib	Wed Oct 31 16:10:59 2007 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,67 +0,0 @@
     1.4 -@book{Paulson:Isa94,
     1.5 -        title={Isabelle: a generic theorem prover}, 
     1.6 -        author={Paulson, Lawrence C. }, publisher={Springer-Verlag},year={1994}, 
     1.7 -	volume={828},series={Lecture Notes in Computer Science},address={},edition={},month={}, 
     1.8 -	note={With contributions by Topias Nipkow},
     1.9 -        status={},source={},location={-} 
    1.10 -        }  
    1.11 -
    1.12 -@book{Mason:E-Learning,
    1.13 - author = {Robin Mason and Frank Rennie},
    1.14 - title = {E-Learning: The Key Concepts (Routledge Key Guides)},
    1.15 - year = {2006},
    1.16 - isbn = {0415373077},
    1.17 - publisher = {Routledge},
    1.18 -  }
    1.19 -
    1.20 -@book{Buschmann:Patterns,
    1.21 - author = {Frank Buschmann, Regine Meunier, Hans Rohnert and Peter Sommerlad},
    1.22 - title = {A System of Patterns. Pattern-Oriented Software Architecture.: 1},
    1.23 - year = {1996},
    1.24 - isbn = {0471958697},
    1.25 - publisher = {Wiley \& Sons},
    1.26 -}
    1.27 -
    1.28 -@Misc{dojo,
    1.29 -	author = { {Dojo Foundation } },
    1.30 -	title = {dojo the javascript toolkit},
    1.31 -	howpublished = {http://www.dojotoolkit.org/},
    1.32 -}
    1.33 -
    1.34 -@Misc{mathml,
    1.35 -	author = { {W3C } },
    1.36 -	title = {What is MathML},
    1.37 -	howpublished = {http://www.w3.org/Math/},
    1.38 -}
    1.39 -
    1.40 -@Misc{mathml2,
    1.41 -	author = { {W3C } },
    1.42 -	title = {Mathematical Markup Language (MathML) 1.01 Specification},
    1.43 -	howpublished = {http://www.w3.org/TR/REC-MathML/},
    1.44 -}
    1.45 -
    1.46 -@Misc{apache,
    1.47 -	author = { {The Apache Software Foundation } },
    1.48 -	title = {The Apache MyFaces Project},
    1.49 -	howpublished = {http://myfaces.apache.org/},
    1.50 -}
    1.51 -
    1.52 -@book{Marinscheck:jsf,
    1.53 - author = {Martin Marinscheck, Gerald Müllan and Anrea Schnabl},
    1.54 - title = {JSF @ Work. JavaServer Faces und Apache MyFaces erfolgreich einsetzen)},
    1.55 - year = {2007},
    1.56 - isbn = {3898644014},
    1.57 - publisher = {dpunkt.verlag},
    1.58 -  }
    1.59 -
    1.60 -@Misc{isac,
    1.61 -	author = { {Institute for softwaretechnologie} },
    1.62 -	title = { The ISAC - Project for Transparent Software in Applied Mathematics},
    1.63 -	howpublished = {http://www.ist.tugraz.at/projects/isac/},
    1.64 -}
    1.65 -
    1.66 -@Misc{assembla,
    1.67 -	author = { {Assembla } },
    1.68 -	title = {Tools, Talent, and How-to for agile teams and rapid app development},
    1.69 -	howpublished = {http://www.assembla.com/home},
    1.70 -}
    1.71 \ No newline at end of file