ByNobleID
    Restricted two-level grammars as a technique for formalizing programming schemes | NobleID