(1)
Brisbois, C.; Mordini, P. Logicial SiGMI / SIGMINI. Classica 1993, 5, 230-236.