Logics of specification languages - Bjorner, Dines 1937-; Henson, Martin C. (Monographs in theoretical computer science, 2008)