Title: Rewriting in Cambridge LCF
First published: 1983