@techreport{angus2001kleene,
 title = {Kleene algebra with tests and program schematology},
 author = {Angus, Allegra and Kozen, Dexter},
 year = {2001},
 institution = {Cornell University}
}