C. Wang, J. Jiang, J. Li, Y. Xiong, X. Luo, L. Zhang, и Z. Hu. 30th European Conference on Object-Oriented Programming (ECOOP 2016), том 56 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 25:1--25:26. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2016)