A higher-order implementation of rewriting. Science of Computer Programming (1983)

by L C Paulson
Venue:SIGPLAN Notices