@article {18424,
	title = {Role of verification in the software specification process},
	journal = {Advances in computers},
	volume = {36},
	year = {1993},
	month = {1993///},
	pages = {43 - 109},
	author = {Zelkowitz, Marvin V}
}
