Claus Sengler Induction on non-freely generated data types. I-XXI, 1-384 Infix 1997 DISKI 160 978-3-89601-160-2