Descriptive dynamic logic and its application to reflective architectures | Publicación