@inbook {davis_analysis_1990,
	title = {The {Analysis} and {Specification} of {Systems} and {Software} {Requirements}},
	booktitle = {Systems and {Software} {Requirements} {Engineering}},
	year = {1990},
	note = {n/a},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	address = {California},
	abstract = {n/a},
	keywords = {behavioural req. are functional, non-behavioral are non-functional},
	author = {Davis, A. M.},
	editor = {Thayer, R. H. and Dorfman, M.}
}
