We know of two compilers for Esterel:

	The CMA Esterel compiler is provided by the Ecole des Mines
	de Paris (CMA) and INRIA, and written by Jean-Paul Rigault,
	Jean-Marc Tanzi, Frederic Mignard and Jean-Pierre Paris. It can
	be obtained by contacting <esterel-request@cma.cma.fr>.

	Stephen Edwards has written a non-commercial Esterel
	compiler, available through ftp (~27Kb):

	ftp://ic.eecs.berkeley.edu/pub/TclTk/sc-1.0.tar.gz

	Stephen can be contacted at: <sedwards@eecs.berkeley.edu>.
	Note, however, that the reachability checker in TempEst
	won't work with this compiler, mainly because the intermediate
	representation of the state machines by the compiler.
