1. Computational Complexity: a Modern Approach;Arora,2009
2. Computing with Cells and Atoms: an Introduction to Quantum, DNA and Membrane Computing;Calude,2000
3. Unconventional Models of Computation,1998
4. The complexity of theorem-proving procedures;Cook,1971
5. Alternative representations of P systems solutions to the graph colouring problem;Cooper;J. Membr. Comput.,2019