P. Andrews, K. Harker, и A. Krahmer. Proceedings of the 18th ACM/IEEE on Joint Conference on Digital Libraries, стр. 37--40. New York, NY, USA, ACM, (2018)
T. Mossakowski, O. Kutz, и 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)