Including non-functional issues in Anna/Ada programs for automatic implementation selection | Publicación