Springer
doi.org/10.1007/978-3-319-03542-0_1
Lecture Notes in Computer Science
Asian Symposium on Programming Languages and Systems
Computer Security

Bonchi, F., Caltais, G., Pous, D.& Silva, A. (2013, January). Brzozowski's and up-to algorithms for must testing. Lecture Notes in Computer Science.https://doi.org/10.1007/978-3-319-03542-0_1