The ELAN manual for the version 3.0 is available as .
Following that describes the
implementation of the first ELAN compiler, compilation techniques for Associative-Commutative
normalisation are studied in , while
more details on compilation of matching are given in ,
and non-determinism management in .
The REF format and its use for implementation are described in .