@book{942,
	author = {Misra, Jayadev},
	title = {Effective Theories in Programming Practice/ },
	publisher = {Association for Computing Machinery;},
	year = {[2022].},
	series = {ACM books, },
	address = {[New York, NY, USA] :},
	edition = {First Edition},
	url = {https://doi.org/10.1145/3568325}
}