@Incollection{AehligJohannsenSchwichtenbergTerwijn01,
  author =   {Aehlig, Klaus and Johannsen, Jan and Schwichtenberg, Helmut and Terwijn, Sebastiaan A.}, 
  title =    {Linear Ramified Higher Type Recursion and Parallel Complexity},
  booktitle =    {Proof Theory in Computer Science},
  editor =       {Reinhard Kahle and Peter Schr{\"o}der-Heister and Robert St{\"a}rk},
  publisher =    {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 2183,
  pages = {1--21},
  year =         2001
}