@techreport{VosSwie2001b,
  author     = {Vos, T.E.J. and Swierstra, S.D.},
  title      = {Proving distributed hylomorphisms},
  insitution = {Department of Computer Science, Utrecht University},
  year       = {2000},
  type       = {UU-CS},
  number     = {2000-40},
  url        = {http://www.cs.uu.nl/pub/RUU/CS/techreps/CS-2001/2002-040.pdf},
}