@book{224660,
	author = {Lennart Beringer, Amy Felty},
	title = {Interactive Theorem Proving},
	publisher = {Springer US},
	year = {2012},
	address = {New York}
}