A metalanguage based on a theory of specification. - Karl B. Zerangue; Joseph E. Urban (COMPSAC, 1992)

The use of a software specification metalanguage. - Karl B. Zerangue; Joseph E. Urban (SAC, 1992)

On developing a general theory of software engineering. - Karl B. Zerangue (COMPSAC, 1993)