Chun Ouyang Lars Michael Kristensen Jonathan Billington A Formal and Executable Specification of the Internet Open Trading Protocol. 377-387 2002 conf/ecweb/2002 EC-Web http://dx.doi.org/10.1007/3-540-45705-4_39 db/conf/ecweb/ecweb2002.html#OuyangKB02