Expressive Power of Specification Languages

Ian J. Hayes. Expressive Power of Specification Languages. Formal Asp. Comput., 10(2):187-192, 1998.

Abstract

Abstract is missing.