@book{174740,
	author = {B诲ger, E.},
	title = {Specification and validation methods /},
	publisher = {Clarendon ;},
	year = {1995.},
	address = {Oxford :},
	url = {http://www.loc.gov/catdir/enhancements/fy0640/95010608-d.html}
}