Introduction to frame analysis first and second order theories - Toniolo, Giandomenico (Springer, 2019)