@book{179627,
	author = {Lawrence Paulson, S.},
	title = {All systems}
}