@book{42146,
	author = {Peter Sestoft},
	title = {Java Precisely},
	publisher = {The MIT Press},
	year = {2016}
}