A Formal Programming Framework for Digital Avatars | Publicación