?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=Puebla+S%C3%A1nchez&rft.au=Puebla+S%C3%A1nchez%2C+Alvaro+Germ%C3%A1n&rft.aufirst=Alvaro+Germ%C3%A1n&rft.btitle=Electronic+Notes+in+Theoretical+Computer+Science&rft.title=On+abstraction-carrying+code+and+certificate-size+reduction&rft.date=March+2006&rft.genre=proceeding