@misc{STACKS_1.MIZ,
  AUTHOR = {Bancerek, Grzegorz},
  TITLE = {Representation Theorem for Stacks},
  SECTION1 = {Preliminaries},
  SECTION2 = {Stack Algebra},
  SECTION3 = {Schemes of Induction},
  SECTION4 = {Stack Congruence},
  SECTION5 = {Quotient Stack System},
  SECTION6 = {Representation Theorem for Stacks},
  ADDRESS1 = {Bia{\l}ystok Technical University},
  DAY = {22},
  MONTH = {February},
  YEAR = {2011},
  SUMMARY = {In the paper the concept of stacks is formalized. Ideas for formalization
    are taken from \cite{Salwicki}.}}
