@STRING{lncs	= "Lecture Notes in Computer Science" }
@STRING{springer= "Springer-Verlag" }

@InProceedings{	  abelMatthes:types02,
  author	= {Andreas Abel and Ralph Matthes},
  title		= {{(Co-)}Iteration for Higher-Order Nested Datatypes},
  booktitle	= {Types for Proofs and Programs, International Workshop,
		  TYPES 2002},
  pages		= {1--20},
  year		= 2003,
  editor	= {H. Geuvers and F. Wiedijk},
  volume	= 2646,
  series	= lncs,
  address	= {Berg en Dal, The Netherlands},
  publisher	= springer,
  url		= {http://www.tcs.informatik.uni-muenchen.de/\~{}abel/types02.pdf}
		  
}