พิทยา สอนไว. (2544) การพัฒนาโปรแกรมเอทีพีจีสำหรับวงจรดิจิตอล โดยใช้วิธีบูลลีนแซททิสฟายอะบิลิตี้. มหาวิทยาลัยเชียงใหม่,:ม.ป.ท.พิทยา สอนไว. 2544. การพัฒนาโปรแกรมเอทีพีจีสำหรับวงจรดิจิตอล โดยใช้วิธีบูลลีนแซททิสฟายอะบิลิตี้. ม.ป.ท.:มหาวิทยาลัยเชียงใหม่,;พิทยา สอนไว. การพัฒนาโปรแกรมเอทีพีจีสำหรับวงจรดิจิตอล โดยใช้วิธีบูลลีนแซททิสฟายอะบิลิตี้. ม.ป.ท.:มหาวิทยาลัยเชียงใหม่, 2544. Print.