Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research | Publicación