@book{25301,
	author = {Howden, William, E.},
	title = {Functional program testing and analysis},
	year = {1987},
	address = {Delhi: McGraw-Hill}
}