A program specification language with a formal syntax and ad-hoc semantics. - subsetpark/pantagruel