@article{refmod,
	author={Carl A. Gunter,Elsa L. Gunter,Michael Jackson,Pamela Zave},
	journal={IEEE Software},
	month={May/June},
	number=3,
	pages={37-43},
	title={A reference model for requirements and specifications},
	volume=17,
	year=2000,
}