@book{123371,
	author = {Friedman, Daniel P. and Eastlund, Carl.},
	title = {Little prover /},
	publisher = {MIT Press,},
	year = {2015.},
	address = {London, England ;}
}