Kleene algebra with tests and commutativity conditions (1996)

by Dexter Kozen
Venue:In TACAS