doi          = {10.1016/j.tcs.2005.06.002},
 doi          = {10.2168/lmcs-10(3:14)2014},
 doi          = {10.2201/niipi.2013.10.2},
 doi          = {10.2168/lmcs-11(1:3)2015},
 doi          = {10.1017/s095679681500009x},
 doi          = {10.1007/978-3-540-24849-1\_14},
 doi          = {10.1016/0021-8693(68)90036-7},