"Shin-ya Katsumata,Tetsuya Sato","Preorders on monads and coalgebraic simulations","International Conference on Foundations of Software Science and Computational Structures (FoSSaCS 2013)","Lecture notes in computer science, LNCS","Springer-Verlag Berlin Heidelberg","Volume 7794",,"pp. 145-160",2013,Mar.