sur 32
Logics of Specification Languages — Dines Bjørner, Martin C. Henson