Lisp dialect with concurrency, object-orientation and logic.

"Concurrent Programming in TAO - Practice and Experience",

I. Takeuchi in Parallel Lisp: Languages and Systems, T. Ito et

al eds, LNCS 441, Springer 1989, pp.271-299.