Kleene algebra with tests (1997)

by Dexter Kozen
Venue:Transactions on Programming Languages and Systems
Citations:109 - 22 self