SSA-based Compiler Design - Fabrice Rastello, Florent Bouchez Tichadou (Springer, 2022)