Preorders on Monads and Coalgebraic Simulations (2013)

by Shin-ya Katsumata, Tetsuya Sato
Venue:In Proc. FoSSaCS 2013, LNCS 7794, pp.145–160