Creadores Top en 4º Teoría de la computación y verificación de programas