Kleene algebra with tests (1997)

by Dexter Kozen
Venue:Transactions on Programming Languages and Systems
Citations:108 - 23 self