Mathematics and Programming in Context - Zef Segal; Nurit Melnik (Taylor and Francis, 2025)