@conference {18388,
	title = {Evaluation criteria for functional specifications},
	booktitle = {Proceedings of the 12th international conference on Software engineering},
	series = {ICSE {\textquoteright}90},
	year = {1990},
	month = {1990///},
	pages = {26 - 33},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	address = {Los Alamitos, CA, USA},
	isbn = {0-89791-349-3},
	url = {http://dl.acm.org/citation.cfm?id=100296.100299},
	author = {Cardenas,S. and Zelkowitz, Marvin V}
}
