@book{126146,
	author = {Martin, John N.},
	title = {Elements of formal semantics :},
	publisher = {Academic Press,},
	year = {1987.},
	address = {Orlando :},
	note = {Includes index.}
}