Mutmainah, S.; Pulungan, R. TRANSFORMASI CHANNEL SYSTEM KE LABELLED TRANSITION SYSTEM. kaunia 2012, 8, 44-47.