% These are general bibliographic entries
%
% Last change : 3.11.92
%               2.09.94 
% 

% ----- B -----

@BOOK{Bicarregui&93,
  KEY           = "Bicarregui\&93",
  AUTHOR        = "Juan Bicarregui, John Fitzgerald, Peter Lindsay,
                   Richard Moore and Brian Ritchie",
  TITLE         = "Proof in VDM: A Practitioner's Guide",
  PUBLISHER     = "Springer-Verlag",
  YEAR          = "1993",
  SIZE          = "245",
  NOTE          = "To appear",
  ANNOTE        = "",
  COMMENT       = "Peter Gorm Larson recommends it."}

@book{Blankertz,
      AUTHOR    = {Herwig Blankertz},
      TITLE     = {Die {G}eschichte der {P}\"adagogik --
		   von der {A}ufkl\"arung bis zur Gegenwart},
      PUBLISHER = {B\"uchse der Pandora},
      Address   = {Wetzlar},
      YEAR      = 1982}
      }


% ----- C -----
@book{InformatikDUDEN,
       AUTHOR = {Volker Claus and Andreas Schwill},
       TITLE = {Duden Informatik},
       PUBLISHER = {Dudenverlag},
       ADDRESS = {Mannheim}, 
       YEAR = {1988}
      }

@article{Coltheart,
      AUTHOR   = { M. Coltheart},
      TITLE    = { Cognitive neuropsychology and the study of reading},
      JOURNAL  = { Attention \& Performance},
      YEAR     = {1985},
      VOLUME   = {11},
      PAGES    = {3-37}
     }

% ----- E -----

@article{EhriWilce,
      AUTHOR   = { L. C. Ehri and L. S. Wilce},
      TITLE    = { Movement into reading: is the first stage of printed
                   word learning visual or phonetic?},
      JOURNAL  = { Reading Research Quarterly},
      VOLUME   = { XX},
      YEAR     = {1985},
      PAGES    = {163-179}
     }


% ----- D -----
@book{Peopleware,
     AUTHOR    = {Tom de Marco and Timothy Lister},
     TITLE     = {Peopleware - Productive Projects and Teams},
     PUBLISHER = {Dorset House},
     YEAR      = {1987}
     }

@article{Cruelty,
     AUTHOR    = {Edsger W. Dijkstra},
     TITLE     = {On the Cruelty of really teaching Computing Science},
     JOURNAL   = {CACM},     
     YEAR      = {1989},
     MONTH     = {Dec.},
     VOLUME    = {32},
     NUMBER    = {12},
     PAGES     = {1398-1404},
     ANNOTE    = {and some rejoinders}
     }
@inproceedings{Pondering,
     AUTHOR    = {Edsger W. Dijkstra},
     TITLE     = {On the teaching of programming, i.e. on the teaching of thinking},
     BOOKTITLE = {Language Hierarchies and Interfaces},
     SERIES    = {LNCS 46},
     PAGES     = {1-10},
     YEAR      = {1976},
     ANNOTE    = {}
     }    



% ----- H -----

@book{SpielendeGruppe,
     AUTHOR    = {Claus-J\"urger H\"oper and Ulrike Kurzleb and Alke
		  Stobbe and Bertram Weber},
     TITLE     = {Die spielende Gruppe. 115 Vorschl\"age f\"ur soziales
		  Lernen in Gruppen},
     PUBLISHER = {Jugenddienst-Verlag},
     ADDRESS   = {Wuppertal},
     YEAR      = {1974}
     }
   

@article{HumphreysEvett,
     AUTHOR    = {G. W. Humphreys and L. J. Evett},
     TITLE     = {Are there independent lexical and non-lexical routes in
                  word processing? {A}n evaluation of the dual route theory of
                  reading},
     JOURNAL   = {Behavioral and Brain Sciences},
     VOLUME    = {8},
     PAGES     = {689-705},
     YEAR      = {1985}
     }
 

% ----- K -----

@book{Kant,
     AUTHOR    = {Immanuel Kant},
     TITLE     = {Kritik der reine Vernunft},
     NOTE      = {2. \"uberarbeitete Ausgabe},
     YEAR      = {1787},
     ADDRESS   = {Riga}
    }

@book{ACP2,
     AUTHOR    = {Donald E. Knuth},
     TITLE     = {The Art of Computer Programming, Volume 2: Seminumerical Algorithms},
     PUBLISHER = {Addison-Wesley},
     ADDRESS   = {Reading, MA},
     YEAR      = {1981},
     ANNOTE    = {Second Edition}
     }

% ----- L -----
@inproceedings{Haftung,
      AUTHOR    = {M. Lehmann},
      TITLE     = {{P}rodukt- und {P}roduzentenhaftung bei integrierter {P}roduktion},
      BOOKTITLE = {Information als Produktionsfaktor. 22. {GI}-Jahrestagung, Karlsruhe},
      ORGANIZATION = {Gesellschaft f\"ur Informatik},
      PUBLISHER = {Springer Verlag},
      YEAR      = {1992},
      PAGES     = {133-147},
      ANNOTE    = {}
      }

% ----- M -----

@book{Meyers,
      KEY      = {Meyer's},
      TITLE    = {Meyer's Enzyklop\"adisches Lexikon},
      VOLUME   = {19},
      YEAR     = {1977},
      PUBLISHER = {Bibliographisches Institut},
      ADDRESS   = {Mannheim}
     }


% ----- P -----

@book{Papert,
      AUTHOR    = {Seymour Papert},
      TITLE     = {Mindstorms. Children, Computer and Powerful Ideas},
      PUBLISHER = {Basic Books},
      ADDRESS   = {New York},
      YEAR      = {1980},
      ANNOTE    = {German: 1982, Birkh\aeuser Verlag, Basel und 1985,
                   rororo, Reinbek Nummer 8126}
     }

% ----- S -----

@inproceedings{domaincompiler,
     AUTHOR    = {Uwe Schmidt and Hans-Martin H\"orcher},
     TITLE     = {Programming with VDM-Domains}, 
     BOOKTITLE = {LNCS 428 : VDM \& Z! : Proceedings of the Third International Symposium of VDM
                  Europe, Kiel}, 
     EDITOR    = {D. Bj\o rner and {C.A.R.} Hoare and H. Langmaack},
     PUBLISHER = {Springer Verlag}, 
     ADDRESS   = {Heidelberg}, 
     YEAR      = {1990},
     ANNOTE    = {}
    }

@article{RT,
     AUTHOR    = {Harald Sondergaard and Peter Sestoft},
     TITLE     = {Referential transparancy, definiteness and unfoldability},
     JOURNAL   = {Acta Informatica},
     VOLUME    = {27},
     YEAR      = {1990}
    }

@article{Spooner,
     AUTHOR    = {C. R. Spooner},
     TITLE     = {The ML Approach to the Readable All-Purpose Language},
     JOURNAL   = {ACM Transactions on Programming Languages and Systems},
     VOLUME    = {8},
     NUMBER    = {2},
     MONTH     = {April},
     YEAR      = {1986},
     PAGES     = {215-243}
     }










% ----- T -----

@book{foldingeditor,
     KEY       = {TDS87},
     AUTHOR    = {{Transputer Hardware Support, Ltd.}},
     TITLE     = {Transputer {D}evelopment {S}ystem 2.0 : {G}etting {S}tarted}, 
     ADDRESS   = {Northwich, England}, 
     MONTH     = {June},
     YEAR      = {1987},
     ANNOTE    = {}

     }

% ----- W -----

@inproceedings{Bufferingsystem,
     AUTHOR    = {Debora Weber-Wulff},
     TITLE     = {A Buffering System Implementation using {VDM}},
     BOOKTITLE = {LNCS 428 : VDM \& Z! : Proceedings of the Third International Symposium of VDM
                  Europe, Kiel}, 
     EDITOR    = {D. {Bj\o rner} and {C.A.R.} Hoare and H. Langmaack.},
     PUBLISHER = {Springer Verlag}, 
     ADDRESS   = {Heidelberg}, 
     YEAR      = {1990},
     PAGES     = {135-149},
     ANNOTE    = {}
    }

@inproceedings{Selling,
     AUTHOR    = {Debora Weber-Wulff},
     TITLE     = {Selling Formal Methods to Industry},
     BOOKTITLE = {FME'93: Industrial-Strength Formal Methods. Proceedings. Odense},
     YEAR      = {1993},
     ANNOTE    = {}
    }