A metalanguage based on a theory of specification.

Karl B. Zerangue, Joseph E. Urban

Browse the full COMPSAC paper archive.