From kleene algebra to refinement algebra (2002)

by J von Wright
Venue:In Proceedings of the 6th International Conference on Mathematics of Program Construction, MPC ’02