Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida. Scribbling Interactions with a Formal Foundation. In Raja Natarajan, Adegboyega K. Ojo, editors, Distributed Computing and Internet Technology - 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings. Volume 6536 of Lecture Notes in Computer Science, pages 55-75, Springer, 2011. [doi]