A shorter Summa (1993)