@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,
}