Kleene algebra with tests and program schematology (2001)

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