Proof rules and transformations dealing with fairness1983-04-010 OA AI DOI:10.1016/0167-6423(83)90004-7原文链接分享收藏查看原文摘要 En