@book{BrzozowskiJuergensen1999,
  author    = {J. A. Brzozowski and Helmut J{\"u}rgensen},
  title     = {Semilattices of fault semiautomata},
  volume    = {1999, 02},
  year      = {1999},
}