A Case Study in Structure Specification: A Grid Description of Scribe

Harold Ossher. A Case Study in Structure Specification: A Grid Description of Scribe. IEEE Trans. Software Eng., 15(11):1397-1416, 1989. [doi]

Abstract

Abstract is missing.