3 This paper presents {\MathQL} version 4 which is the latest version of the
4 language, fully developed by Ferruccio Guidi.
5 For a description of the previous versions of {\MathQL} see: \cite{Gui03}
6 (version 3), \cite{GS03} (version 2), \cite{Lor02} (version 1).