P. Andrews, K. Harker, and A. Krahmer. Proceedings of the 18th ACM/IEEE on Joint Conference on Digital Libraries, page 37--40. New York, NY, USA, ACM, (2018)
T. Mossakowski, O. Kutz, and M. Codescu. Proc. of the Theory Day in Computer Science (DACS-2014), satellite workshop of ICTAC-2014, University of Bucharest, September 15-16, 2014, (2014)
S. Vakulenko, O. Müller, and J. vom Brocke. Proceedings of the International Conference on Information Systems - Building a Better World through Information Systems, ICIS 2014, Auckland, New Zealand, December 14-17, 2014, Association for Information Systems, (2014)
X. Liu, K. Maly, M. Zubair, and M. Nelson. Proceedings of the 3rd ACM/IEEE-CS joint conference on Digital libraries, page 191--198. Washington, DC, USA, IEEE Computer Society, (2003)