Experiments with a High-Level Navigation Language | Publicación