Algebras for Hazard Detection. - Janusz A. Brzozowski; Zoltán Ésik; Y. Iland (ISMVL, 2001)