M. Cottereau, «Nuevas funciones del verificador de Aleph», Enredadera, n.º 18, pp. 49–51, jul. 2010.