Formal languages through web forms and regular expressions. - José Miguel Blanco Arbe; Ana Sánchez Ortega; Jesús Ibáñez Mártinez-Conde (ACM SIGCSE Bull., 2007)

Constructive reduction: understanding uncomputability through programming. - Jesús Ibáñez Mártinez-Conde; Ana Sánchez Ortega (ACM SIGCSE Bull., 2009)