Descriptive dynamic logic and its application to reflective architectures. - Carles Sierra; Lluís Godo; Ramón López de Mántaras; Mara Manzano (Future Gener. Comput. Syst., 1996)