Cottereau, M. New Features of the Aleph Verifier. Enredadera 2010, 49-51.