Paraman, N., C. Yee Ooi, A. Z. Sha’ameri, and H. Fujiwara. “A New Class of Easily Testable Assignment Decision Diagrams”. Malaysian Journal of Computer Science, vol. 23, no. 1, June 2010, pp. 1-17, https://sare.um.edu.my/index.php/MJCS/article/view/6380.