Terms for subject Programming containing proofs of theorem and programs

English	Russian
proofs of theorem and programs	доказательства теорем и программ (ssn)
seminal paper on social processes and proofs of theorem and programs	оригинальная статья о социальных процессах и доказательствах теорем и программ (ssn)