@INPROCEEDINGS{arec:upda99,
  author = {Areces, C. and Becher, V.},
  title = {Update, the Infinite Case},
  booktitle = {Proceedings of WAIT'99, Argentinian Workshop on Theoretical Computer
	Science},
  year = {1999},
  address = {Buenos Aires, Argentina},
}