A Tomonaga-Schwinger-Dirac formulation for string theories