Monoidal Theories and String Derivation