A relational modal logic for higher-order stateful ADTs (2009)

by D Dreyer, G Neis, A Rossberg, L Birkedal