เพิ่มพูนธนลาภ ย. 2011. การวิเคราะห์ความมั่นคงปลอดภัยที่ได้รับการปรับปรุงให้ดีขึ้น ของโพรโตคอลสำหรับการเซ็นสัญญาที่มีความยุติธรรมของมิคาลี่ โดยใช้คัลเลอร์เพทริเน็ต (An Improved Security Analysis of Micali’s Fair Contract Signing Protocol by Using Coloured Petri Nets). Science Essence Journal. 26, 2 (Jan. 2011).