@InProceedings{   Indermark:76,
  Author        = "Indermark, K.",
  BookTitle     = "Proc. of MFCS'76",
  date-added    = "2013-12-10 13:48:22 +0000",
  date-modified = "2014-01-01 14:52:39 +0000",
  Keywords      = "higher-order recursion schemes",
  Pages         = "352--358",
  Publisher     = "Springer",
  Series        = "LNCS",
  Title         = "Schemes with recursion on higher types",
  Volume        = "45",
  Year          = "1976",
  bdsk-url-1    = "http://link.springer.com/chapter/10.1007\%2F3-540-07854-1\_198"
}

@InProceedings{ Indermark:76, Author = "Indermark, K.", BookTitle = "Proc. of MFCS'76", date-added = "2013-12-10 13:48:22 +0000", date-modified = "2014-01-01 14:52:39 +0000", Keywords = "higher-order recursion schemes", Pages = "352--358", Publisher = "Springer", Series = "LNCS", Title = "Schemes with recursion on higher types", Volume = "45", Year = "1976", bdsk-url-1 = "http://link.springer.com/chapter/10.1007\%2F3-540-07854-1_198" }