Richard S. Bird Jeremy Gibbons Geraint Jones Formal Derivation of a Pattern Matching Algorithm. 93-104 1989 12 Sci. Comput. Program. 2 db/journals/scp/scp12.html#BirdGJ89