A relational modal logic for higherorder stateful ADTs (2010)

by Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
Venue:In POPL