@InProceedings{vW02, Author = "von Wright, J.", Year = "2002", Title = "{From Kleene Algebra to Refinement Algebra}", Editor = "Boiten, E. and M{\"o}ller, B.", BookTitle = "{Proceedings of the 6th International Conference on the Mathematics of Program Construction}", Place = "Dagstuhl, Germany", Series = "Lecture Notes in Computer Science", Number = "2386", Pages = "233-262", Comment = "TPTPRef" }