@MISC{PRE_CIRC.MIZ,
  AUTHOR = {Nakamura, Yatsuka and Rudnicki, Piotr and Trybulec, Andrzej and Kawamoto, Pauline N.},
  TITLE = {Preliminaries to Circuits, {I}},
  NOTE = {    This work was initiated while the second author visited Nagano 
    (March--May 1994) and then continued when the third author visited 
    Edmonton (May--June 1994).  The work was finalized when the fourth author 
    visited Bia{\l}ystok (October--November 1994).
    Partial funding for this work has been provided by: 
    Shinshu Endowment Fund for Information Science, 
    NSERC Grant OGP9207, 
    JSTF award 651-93-S009.},
  SECTION1 = {Varia},
  SECTION2 = {Many Sorted Sets and Functions},
  SECTION3 = {Trees},
  DAY = {17},
  MONTH = {November},
  YEAR = {1994},
  ADDRESS1 = {Shinshu University, Nagano},
  ADDRESS2 = {University of Alberta, Edmonton},
  ADDRESS3 = {Warsaw University, Bia{\l}ystok},
  ADDRESS4 = {Shinshu University, Nagano},
  SUMMARY = {    This article is the first in a series of four articles (continued
    in \cite{MSAFREE2.ABS},\cite{CIRCUIT1.ABS},\cite{CIRCUIT2.ABS})
    about modelling circuits by many-sorted algebras.\par
    Here, we introduce some auxiliary notations and prove auxiliary
    facts about many sorted sets, many sorted functions and trees.}}

