Dictionary.net

• A toy language.["A Sampler of Formal Definitions", M. Marcotty et al,Computing Surveys 8(2):191-276 (Feb 1976)].

1985 - The Free On-line Dictionary of Computing
By Denis Howe