Kleene algebra with domain (2003)

by J Desharnais, B Möller, G Struth