เรืองยศ วรเจนวณิชย์. 2543. การสร้างข้อกำหนดรูปนัยในรูปสัญกรณ์เซดจากโปรแกรมภาษาซี. ภาควิชาวิศวกรรมคอมพิวเตอร์, จุฬาลงกรณ์มหาวิทยาลัย;
เรืองยศ วรเจนวณิชย์. (2543) การสร้างข้อกำหนดรูปนัยในรูปสัญกรณ์เซดจากโปรแกรมภาษาซี . จุฬาลงกรณ์มหาวิทยาลัย/กรุงเทพฯ.
เรืองยศ วรเจนวณิชย์. การสร้างข้อกำหนดรูปนัยในรูปสัญกรณ์เซดจากโปรแกรมภาษาซี. . กรุงเทพฯ:จุฬาลงกรณ์มหาวิทยาลัย, 2543.
เรืองยศ วรเจนวณิชย์. (2543) การสร้างข้อกำหนดรูปนัยในรูปสัญกรณ์เซดจากโปรแกรมภาษาซี . จุฬาลงกรณ์มหาวิทยาลัย/กรุงเทพฯ.