Kleene algebra with tests and program schematology (2001)

by Allegra Angus , Dexter Kozen
Citations:23 - 8 self