Bibliography

@techreport{Z,
  key		= {Zan93},
  author	= {Zantema,H.},
  title		= {{T}ermination of term rewriting by semantic labelling},
  institution	= {Utrecht University},
  number	= {RUU-CS-93-24},
  note          = {{\sl Accepted for publication in Fundamenta Informaticae}},
  month		= {July},
  year		= {1993}
}

@book{ZC91,
   key          = {ZC91},
   author       = {H. Zima and B. Chapman},
   title        = {Supercompilers for Parallel and Vector 
Computers},
   series       = {ACM Press Frontier Series},
   publisher    = {ACM Press},
   address      = {New York},
   year         = {1991}
}