Improved specialization and consistent termination via observing computation, or derivations are more useful than values (0)

by R Conybeare, D Weise