Descriptive Dynamic Logic and Its Application to Reflective Architectures | Publicación