C. Paris, N. Colineau, and R. Wilkinson. HT '09: Proceedings of the Twentieth ACM Conference on Hypertext and Hypermedia, New York, NY, USA, ACM, (July 2009)
T. Mossakowski, Kolyang, and B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97, 1376, page 333-348. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1998)
D. Spinellis, P. Louridas, and M. Kechagia. Proceedings of the 38th International Conference on Software Engineering, page 748--759. New York, NY, USA, ACM, (2016)
M. Atzmueller. Proc. ECML-PKDD 2016: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Heidelberg, Germany, Springer Verlag, (2016)