@MISC{AOFA_A01.MIZ,
  AUTHOR = {Bancerek, Grzegorz},
  TITLE = {Analysis of Algorithms: An Example of a Sort Algorithm},
  SECTION1 = {Exponentiation by Squaring Revisited},
  SECTION2 = {Calculation of Maximum},
  SECTION3 = {Sorting by Exchanging},
  DAY = {9},
  MONTH = {November},
  YEAR = {2012},
  ADDRESS1 = {Association of Mizar Users},
  SUMMARY = {We analyse three algorithms: exponentiation by squaring,
    calulation of maximum, and sorting by exchanging
    in terms of program algebra over an algebra.}}


