Modal Kleene Algebra and Applications – A Survey (2004)

by J Desharnais, M Bernhard, G Struth
Venue:Journal of Relational Methods in Computer Science 1