@article{1991-Bommel-PredMod,
  author		= "Bommel, P. van and Hofstede, A.H.M. ter and Weide, Th.P. van der",
  title			= "{Semantics and verification of object--role models}",
  journal		= "Information Systems",
  number		= "5",
  volume		= "16",
  month			= "October",
  year			= "1991",
  research_group	= "iris",
  pages			= "471--495",
  class			= "Journal"
}