Step-Indexing: The Good, the Bad and the Ugly.

Published in: Modelling, Controlling and Reasoning About State (2010)