@article{bwmeta1.element.bwnjournal-article-bcpv2i1p167bwm,
author = {Blikle, A.},
title = {An analysis of programs by algebraic means},
journal = {Banach Center Publications},
volume = {2},
year = {1977},
pages = {167-213},
zbl = {0358.68026},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-bcpv2i1p167bwm}
}
Blikle, A. An analysis of programs by algebraic means. Banach Center Publications, Tome 2 (1977) pp. 167-213. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-bcpv2i1p167bwm/