\section{Introduction}

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