An analysis of programs by algebraic means

• 1 January 1977
• journal article
• Published by Institute of Mathematics, Polish Academy of Sciences in Banach Center Publications
• Vol. 2  (1) , 167-213
• https://doi.org/10.4064/-2-1-167-213

Abstract