doi = "10.1007/3-540-65306-6\_22", doi = "10.1007/3-540-56863-8\_42", doi = "10.1007/3-540-45541-8_1", doi = "10.1007/s002360050046", doi = "10.1007/BF00264611", doi = "10.1007/BF00264612", doi = "10.1016/j.tcs.2008.04.006", doi = "10.3233/FI-2011-539", doi = "10.1007/s00236-012-0170-2", doi = "10.1142/S0129054192000231", doi = "10.1006/jcss.1999.1693", doi = "10.1016/S0304-3975(02)00136-6", doi = "10.1007/3-540-65306-6\_19", doi = "10.1007/3-540-65306-6\_19",