How to derive inductions in (1980)

by Robin Milner