Dictionary.net

• (CL) A programming language and proof systemdeveloped by Paul Voda and a colleague since 1997, written inTrilogy II.Paul Voda Home (http://fmph.uniba.sk/~voda).

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