T. Yuan, G. Li, J. Lu, C. Liu, L. Li, und J. Xue. 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), Seite 187-199. Los Alamitos, CA, USA, IEEE Computer Society, (März 2021)
S. Rodriguez, N. Gaud, und S. Galland. the 2014 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Warsaw, Poland, IEEE Computer Society Press, (2014)
B. Trakhtenbrot. Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975, Volume 32 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1975)