Formal derivation of a pattern matching algorithm (1989)

by Richard S Bird, Jeremy Gibbons, Geraint Jones
Venue:Science of Computer Programming