Departamento de Informática, Universidad de Valladolid, Valladolid, Spain. kb@maths.uq.edu.au|Departamento de Informática, Universidad de Valladolid, Valladolid, Spain. kb@maths.uq.edu.au|Departamento de Informática, Universidad de Valladolid, Valladolid, Spain. kb@maths.uq.edu.au|Departamento de Informática, Universidad de Valladolid, Valladolid, Spain. kb@maths.uq.edu.au