Kleene algebra with tests and program schematology (2001)
by
Allegra Angus
,
Dexter Kozen
| Citations: | 12 - 5 self |







