@MISC{ALGSPEC1.MIZ,
  AUTHOR = {Bancerek, Grzegorz},
  TITLE = {Technical Preliminaries to Algebraic Specifications},
  SECTION1 = {Preliminaries},
  SECTION2 = {Replacement in Signature},
  SECTION3 = {Signature Extensions},
  SECTION4 = {Algebras},
  DAY = {07},
  MONTH = {September},
  YEAR = {1999},
  ADDRESS1 = {University of Bia{\l}ystok}}

