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