Русский ⇄ Английский

Здесь и далее мы неявно предполагаем, что алфавиты процессов в обоих частях уравнения совпадают ударения
прогр.	Here and elsewhere, we assume without stating it that the alphabets of the processes on each side of an equation are the same (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)