Experiences with the Design of a Run-Time Check | Publicación