doi = {10.1016/S0022-0000(70)80027-7}, doi = {10.2307/410452}, doi = {10.1016/S0022-0000(73)80050-9}, doi = {10.1007/3-540-60249-6_60}, doi = {10.1007/3-540-62844-4_8}, doi = {10.1007/11505877_25}, doi = {10.1142/S0129054107004723}, doi = {10.1007/11551874_18}, doi = {10.1016/j.tcs.2009.03.017}, doi = {10.1007/3-540-45007-6_5}, doi = {10.1007/978-3-540-33461-3_11}, doi = {10.1051/ita/2009013}, doi = {10.1007/3-540-45627-9_28}, doi = {10.1007/978-3-662-07675-0}, doi = {10.1080/00207160.2014.926005},