ASPLE <language> A {toy language}. ["A Sampler of Formal Definitions", M. Marcotty et al, Computing Surveys 8(2):191-276 (Feb 1976)]. (1995-02-08)