@inproceedings{VLDB-1980-Jefferson,
	author        = "David K. Jefferson",
	booktitle     = "{Proceedings of the Sixth International Conference on Very Large Data Bases}",
	cdrom         = "VLDB80/P153.PDF",
	pages         = "153--154",
	publisher     = "{IEEE Computer Society}",
	title         = "{The Development and Application of Data Base Design Tools and Methodology}",
	year          = 1980,
}