@book{160332,
	author = {POSTON, ROBERT M.},
	title = {AUTOMATING SPECIFICATION BASED SOFTWARE TESTING},
	publisher = {IEEE COMPUTER SOCIETY INC., WASHINGTON},
	year = {1996}
}