%0 Journal Article
%A Casadei, Giorgio
%A Righi, Roberto
%A Teolis, Antonio G. B.
%T Una teoria algebrica per i « guarded commands » di Dijkstra
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1978
%P 269-283
%V 59
%I Seminario Matematico of the University of Padua
%U http://archive.numdam.org/item/RSMUP_1978__59__269_0/
%G it
%F RSMUP_1978__59__269_0