Proof Pearl: Regular Expression Equivalence and Relation Algebra | Publicación