Janusz A. Brzozowski, Zoltán Ésik. Hazard Algebras. Formal Methods in System Design, 23(3):223-256, 2003. [doi]
@article{BrzozowskiE03,
title = {Hazard Algebras},
author = {Janusz A. Brzozowski and Zoltán Ésik},
year = {2003},
doi = {10.1023/A:1026218512171},
url = {http://dx.doi.org/10.1023/A:1026218512171},
tags = { algebra},
researchr = {https://researchr.org/publication/BrzozowskiE03},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {23},
number = {3},
pages = {223-256},
}