Logics of Specification Languages - Bjørner, D. ; Henson, Martin C. (H: Springer, 2017)
636 p.