Kleene Algebra with tests (1997)

by D Kozen
Venue:In ACM Transcations on Programming Languages and Systems