A theory of many-sorted evolving algebras door J.F.M. Tonino