V. Yu. Sazonov

Functionals computable in series and in parallel

V. Yu. Sazonov, 1976 .

Expressibility of functions in D. Scott's LCF language

V. Yu. Sazonov, 1976 .

An Equivalence between Polynomial Constructivity of Markov’s Principle and the Equality P=NP

V. Sazonov, V. Yu. Sazonov, 1990 .