Towards A Mathematical Specification of the APE100 Architecture: the APESE Model