Manuals
Overview of ELAN
Introduction
The Specification language
The Prototyping Environment
More Insights
Related Systems
Papers
Foundations of ELAN
Generality on ELAN
Implementation of ELAN
Applications of ELAN
programming
proving
solving
Queens
Horses