Programs As Diagrams: From Categorical Computability to Computable Categories - Dusko Pavlovic (Springer Nature (Textbooks & Major Reference Works), 2023)