@book{18409,
	title = {Software specification techniques / edited by Narain Gehani, Andrew McGettrick.},
	publisher = {Workingham, England ; Reading, Mass. : Addison-Wesley, c1986.}
}