参数Kleene系统的可靠性定理
삼수Kleene계통적가고성정리
Soundness in Parameter Kleene System