Logics of Specification Languages (Monographs in