@inproceedings{VLDB-1977-Bubenko,
	author        = "Janis A. Bubenko Jr.",
	booktitle     = "{Proceedings of the Third International Conference on Very Large Data Bases}",
	cdrom         = "VLDB77/P556.PDF",
	pages         = "556--566",
	publisher     = "{IEEE Computer Society}",
	title         = "{Validation and Verification Aspects of Information Modeling}",
	year          = 1977,
}