A step-indexed Kripke model of hidden state. - SCHWINGHAMMER, JAN; BIRKEDAL, LARS; POTTIER, FRANÇOIS; REUS, BERNHARD; STØVRING, KRISTIAN; YANG, HONGSEOK (Mathematical Structures in Computer Science, 2013)