Salient Features of an Executable Specification Language and Its Environment.

Pamela Zave William Schell Salient Features of an Executable Specification Language and Its Environment. 312-325 1986 12 IEEE Trans. Software Eng. 2 db/journals/tse/tse12.html#ZaveS86