![]() |
@article{DBLP:journals/pcs/Zamulin03b,
author = {Alexandre V. Zamulin},
title = {Algebraic Semantics of an Imperative Programming Language},
journal = {Programming and Computer Software},
volume = {29},
number = {6},
year = {2003},
pages = {328-337},
ee = {http://dx.doi.org/10.1023/B:PACS.0000004133.80483.66},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2005-05-02 by Michael Ley (ley@uni-trier.de)