Text this: Logics of specification languages /