S. Mutmainah and R. Pulungan, “TRANSFORMASI CHANNEL SYSTEM KE LABELLED TRANSITION SYSTEM”, kaunia, vol. 8, no. 1, pp. 44–47, May 2012.