Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and "Higher-Order" Derivations. - Husain Ibraheem; David A. Schmidt (HOOTS, 1997)