van den Brand, M. G. J., van Deursen, A., Klint, P., Klusener, A. S., & van der Meulen, E. A. (1996). Industrial Applications of ASF+SDF. In M. Nivat, & M. Wirsing (Eds.), Algebraic Methodology and Software Technology (AMAST '96) (pp. 9-18). Springer-Verlag.