Verified Computer Algebra in Acl2 | Publicación