"Tetsuya Sato","Identifying all preorders on the subdistribution monad","Mathematical Foundations of Programming Semantics Thirtieth Conference","Electronic Notes in Theoretical Computer Science","Elsevier B.V.","Volume 308",,"Page 309-327",2014,Oct.