Eva Maia Nelma Moreira Rogério Reis Incomplete Transition Complexity of Some Basic Operations. 319-331 2013 conf/sofsem/2013 SOFSEM https://doi.org/10.1007/978-3-642-35843-2_28 db/conf/sofsem/sofsem2013.html#MaiaMR13