Logics Of Specification Languages by