@book{123119,
	author = {McKirahan, Richard D.},
	title = {Principles and proofs :},
	publisher = {Princeton University Press,},
	year = {c1992.},
	address = {Princeton, N.J. :},
	url = {http://www.loc.gov/catdir/description/prin031/91036774.html}
}