1 Introduction

Nowadays E.F.M. is a large collection of tools not all contained in the so called E.F.M. package. Package organization should probably be improved. But since many parts of the system are in a transitional state, the global architecture is probably not completely clear even to the author.In fact ideas about this system modified themselves when new tools that can be integrated to the project were discovered. History of the project bellow (cf. 6 ,) may let the reader understand the current state of the project.