@book{6281,
	author = {Charatan, Quentin},
	title = {Formal software development},
	year = {2004},
	address = {Basingstoke },
	url = {https://libgen.is/book/index.php?md5=95D693AC0CD223A730EE9F85AE67FA62}
}