CHENG, A.; ESPARZA, J.; PALSBERG, J. Complexity Results for 1-safe Nets. DAIMI Report Series, [S. l.], v. 22, n. 455, 1993. DOI: 10.7146/dpb.v22i455.6773. Disponível em: https://tidsskrift.dk/daimipb/article/view/6773. Acesso em: 9 may. 2024.