Title: Structural induction in LCF
First published: 1984