K. Lüttich, T. Mossakowski, and B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), volume 3423 of Lecture Notes in Computer Science, page 106-125. Springer; Berlin; http://www.springer.de, (2005)
V. Chaudhri, W. Jarrold, and J. Pacheco. OWL: Experiences and Directions Workshop (OWLED), volume 216 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)