Quantum Strings and Superstrings
  In the first sections of this paper we give an elementary but rigorous approach to the construction of the quantum Bosonic and supersymmetric string system continuing the analysis of Dimock. This includes the construction of the DDF operators without using the vertex algebras. Next we give a rigorous proof of the equivalence between the light-cone and the covariant quantization methods. Finally, we provide a new and simple proof of the BRST quantization for these string models. 
Dan-Radu Grigore