Zetzsche, S., & Rozowski, W. (2024). Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny [Computer software]. https://github.com/zetzschest/dafny-well-behaved-coalgebraic-semantics