describes how to go from small-step to big-step semantics.
I need to do the other way around: from big-step to small-step. Is there literature for this? What should I be careful of?
EXTENSION: I have a big-step operational semantics for a functional language and for my purposes I need to write a small-step operational semantics for it. Can you point to relevant scientific literature on how I should do this, what are the pitfalls?