Continuation-passing Style Models Complete for Intuitionistic Logic - Danko Ilik (2011)