APA (7th ed.) Citation

Захаров, В., & Иванов, К. (2006, January). О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью. Труды Института системного программирования РАН.

Chicago Style (17th ed.) Citation

Захаров, В.А, and К.С Иванов. "О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью." Труды Института системного программирования РАН Jan. 2006.

MLA (9th ed.) Citation

Захаров, В.А, and К.С Иванов. "О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью." Труды Института системного программирования РАН, Jan. 2006.