Sul teorema di unicità di De La Vallée Poussin per equazioni differenziali del terzo ordine Giorgio Casadei — 1968 Rendiconti del Seminario Matematico della Università di Padova
Una teoria algebrica per i «guarded commands» di Dijkstra Giorgio Casadei; Roberto Righi; Antonio G. B. Teolis — 1978 Rendiconti del Seminario Matematico della Università di Padova