@book{1240,
	author = {Howden, William E.},
	title = {Functional program testing and analysis},
	publisher = {McGraw-Hill},
	year = {1987},
	address = {New York}
}