The Cecil Language—Specification and Rationale (1993)

by Craig Chambers