Corrado Böhm
发表
Mariangiola Dezani-Ciancaglini,
Corrado Böhm,
M. Dezani-Ciancaglini,
1975
.
Corrado Böhm,
C. Böhm,
1982,
LFP '82.