@inproceedings{CTT100837274, author = {Shin-ya Katsumata and Tetsuya Sato}, title = {Preorders on monads and coalgebraic simulations}, booktitle = {Lecture notes in computer science, LNCS}, year = 2013, }