@article{CTT100837273,
  author = {Tetsuya Sato},
  title = {Identifying all preorders on the subdistribution monad},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = 2014,
}