“TRANSFORMASI CHANNEL SYSTEM KE LABELLED TRANSITION SYSTEM”, kaunia, vol. 8, no. 1, pp. 44–47, May 2012, doi: 10.14421/kaunia.1040.