@book{388,
	author = {Jones, Cliff B.},
	title = {Theories of Programming / },
	publisher = {Association for Computing Machinery;},
	year = {[2021].},
	series = {ACM books, },
	address = {[New York, NY, USA] :},
	edition = {First Edition},
	url = {https://doi.org/10.1145/3477355}
}