TRANSFORMASI PROMELA KE CHANNEL SYSTEM - , Sheila Nurul Huda ([Yogyakarta] : Universitas Gadjah Mada, 2012)