Hugh Myers wrote: > Matthias, you mean Small bisimulations for reasoning about > higher-order imperative programs? I can't find any versions except > those I would have to pay for. Any others? ftp://ftp.ccs.neu.edu/pub/people/wand/papers/popl-06.pdf