On the coalgebraic theory of Kleene algebra with tests (2008)

by Dexter Kozen
Citations:26 - 2 self