Intensional Logics for Programming - Farinas (Oxford University PressOxford University Press, 2023)