The zipper (1997)

by G P Huet
Venue:J. Funct. Program