Albert Albiol, Elvira and Arenas Sánchez, Purificación and Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V.  (2010).  Certificate size reduction in abstraction-carrying code.   "CoRR", v. abs/10 ;