Pages that link to Towards Formalizing Transition Membrane systems to Turing Model