The power of parameterization in coinductive proof (2013)

by C-K Hur, G Neis, D Dreyer, V Vafeiadis
Venue:In R. Giacobazzi and R. Cousot, eds., POPL ’13