[nils-m-holm]

Here are some starting points for exploration:

http://t3x.org/lfn/

http://t3x.org/klisp/

http://t3x.org/klisp/22/

[anthk]

EForth and Subleq can be though too as a systems emerging from axioms (Subleq operations). From twenty macro instructions in EForth it can write the core Subleq code and them bootstrap itself.

But the Lisp way it's far more elegant.