source: http://www-circa.mcs.st-and.ac.uk/Preprints/AnalyserECAI.pdf
authors: I. P. Gent, C. Jefferson, L. Kotthoff, I. Miguel, N. C. A. Moore, P. Nightingale, K. Petrie
translator in coseal format: P. Kerschke, L. Kotthoff