A Tiny Specification Metalanguage.

Walter W. Wilson, Yu Lei

Browse the full SEKE paper archive.