Effective Theories in Programming Practice - Jayadev Misra (2022)