《程序设计语言的形式语义》第四章操作语义的证明规则的ppt讲解
1