@ARTICLE{VO2,
  author = {V. Vorel},
  title = {Subset Synchronization and Careful Synchronization of Binary Finite
	Automata},
  journal = {International Journal of Foundations of Computer Science},
  year = {2016},
  volume = {27},
  pages = {557-577},
  number = {05},
  doi = {10.1142/S0129054116500167}
}