M. Cottereau, “New features of the Aleph verifier”, Enredadera, no. 18, pp. 49–51, Jul. 2010.