@MISC{AOFA_A00.MIZ,
  AUTHOR = {Bancerek, Grzegorz},
  TITLE = {Program Algebra over an Algebra},
  SECTION1 = {Preliminaries},
  SECTION2 = {Free Variables},
  SECTION3 = {Algebra with undefined values},
  SECTION4 = {Program algebra},
  SECTION5 = {Generator system},
  SECTION6 = {Boolean signature},
  SECTION7 = {Algebra with integers},
  SECTION8 = {Algebras with arrays},
  DAY = {27},
  MONTH = {August},
  YEAR = {2012},
  ADDRESS1 = {Faculty of Computer Science\\Bia{\l}ystok Technical University\\Wiejska 45A, 15-351 Bia{\l}ystok\\Poland},
  SUMMARY = {We introduce an algebra with free variables, an algebra with
    undefined values, a program algebra over a term algebra, an algebra with integers, and
    an algebra with arrays.
    Program algebra is defined as universal algebra with assignments.
    Programs depens on the set of generators with supported variables and
    supported terms which determine the value of free variables in next state.
    The execution of a program is changing state according to successor function
    using supported terms.}}


