V. Diekert, A. Myasnikov, and A. Weiß. ISSAC'15 : proceedings of the 40th International Symposium on Symbolic and Algebraic Computation, page 141-148. New York, NY, ACM, (2015)
V. Diekert, A. Myasnikov, and A. Weiß. Special issue on the conference ISSAC 2015: Symbolic computation and computer algebra, 83, page 147-165. Amsterdam, Elsevier, (2017)
L. Fleischer, and M. Kufleitner. 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015), 45, page 112-124. Wadern, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, (2015)
V. Diekert, F. Martin, G. Sénizergues, and P. Silva. Computer science - theory and applications : 10th International Computer Science Symposium, 9139, page 173-188. Cham, Springer, (2015)