"Tetsuya Sato","Approximate Relational Hoare Logic for Continuous Random Samplings",,"Electronic Notes in Theoretical Computer Science","Elsevier B.V.","Volume 325",,"Page 277-298",2016,Oct.