@article{HuKi87,
key=            {HuKi87},
author=         {Hull, R. and King, R.},
title=          {Semantic Database Modeling: Survey, Applications, and Research Issues},
journal=        cs,
volume=         19,
number=         3,
year=           {1987},
keywords=       {semantic models}
}

@inproceedings{Beer92a,
key=            {Beer92a},
author=         {Beeri, C.},
title=          {New Data Models and Languages -- the Challenge},
booktitle=      {Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART
                    Symposium on Principles of Database Systems},
year=           {1992}
}

@book{DiSc89,
key=            {DiSc89},
author=         {Dijkstra, E.W. and Scholten, C. S.},
title=          {Predicate Calculus and Program Semantics},
publisher=      springer,
year=           {1989}
}
@article{Nels89,
key=            {Nels89},
author=         {Nelson, G.},
title=          {A Generalization of Dijkstra's Calculus},
journal=        {ACM TOPLAS},
year=           {1989},
volume=         {11},
number=         {4},
month=          {Oktober},
pages=          {517--561}
}
@habilthesis{Sche94,
key=            {Sche94},
author=         {Schewe, K.-D.},
title=          {Specification of Data-Intensive Application Systems}, 
year=           {1994},
school=         {Technische Universit"at Cottbus},
abstract=       {}
}
@phdthesis{Wetz94,
key=            {Wetz94},
author=         {Wetzel, I.},
title=          {Programmieren mit {STYLE}: {\"U}ber die systematische
		  Entwicklung von Programmierumgebungen},
school=         hbg-info,
month=          jul,
publisher=      {Europ\"aische Hochschulschriften},
year=           {1994} 
}                          

@techreport{SSSTW92,
key=            {SSSTW92},
author=         {Schewe, K.-D. and Schmidt, J.W. and Stemple, D. and
                 Thalheim, B. and Wetzel, I.}, 
title=          {A Reflective Approach to Method Generation in Object
                 Oriented Databases}, 
institution=    ros-info,
type=           {Rostocker Informatik Berichte},
number=         {Nr. 13},
year=           {1992}
}