@book{Misra2023Jan,
    author = {Misra, Jayadev},
    title = {{Effective Theories in Programming Practice}},
    journal = {ACM Books},
    volume = {47},
    year = {2023},
    month = jan,
    isbn = {978-1-4503-9973-9},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    language = {english},
    doi = {10.1145/3568325}
}