S. Barendregt
发表
Eliseo Ranzi,
Mario Dente,
S Peirucci,
1988
.
S. Mullick,
S. Barendregt,
P. Cronin,
1987
.