Цитирование APA (7-е изд.)

Yang, Z., & Lei, H. (2018). Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. IEEE.

Цитирование в стиле Чикаго (17-е изд.)

Yang, Zheng, и Hang Lei. Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. IEEE, 2018.

Цитирование MLA (9-е изд.)

Yang, Zheng, и Hang Lei. Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. IEEE, 2018.

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.