On guarded transformation in the modal μ-calculus | UPT Perpustakaan UHAMKA