C
orrectness_
A
lgebras.
N
_
S
emirings_
B
oolean
HTML Presentation