English computational complexity theory: translation to other languages