乔泽夫·格鲁斯卡 伊雷恩·盖萨里安 基本收缩系统转换的正确性。 315-321 1994 conf/ifip/1994-1 IFIP大会（1） db/conf/ifip/ifip94-1.html#GruskaG94