Concordia at www.meitca.com/HSL/Projects/Concordia.
Voyager at www.objectspace.com/voyager.
Agent Tcl at www.cs.dartmouth.edu/~agent.
Ara at www.uni-kl.de/AG-Nehmer/Ara.
TACOMA at www.cs.uit.no/DOS/Tacoma.