Jayadev Misra. Effective Theories in Programming Practice. Volume 47 of ACM Books, ACM, 2023. [doi]
@book{Misra23, title = {Effective Theories in Programming Practice}, author = {Jayadev Misra}, year = {2023}, doi = {10.1145/3568325}, url = {https://doi.org/10.1145/3568325}, researchr = {https://researchr.org/publication/Misra23}, cites = {0}, citedby = {0}, volume = {47}, series = {ACM Books}, publisher = {ACM}, isbn = {978-1-4503-9973-9}, }