%0 Journal Article
%A Néméti, I.
%T Foundations for stepwise refinement of program specifications via cylindric algebra theory
%J Diagrammes
%Z talk:1
%D 1982
%P N1-N24
%V 8
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://www.numdam.org/item/DIA_1982__8__A1_0/
%G en
%F DIA_1982__8__A1_0