@TechReport{Schmidt-Schauss:03:FUNDIO,
  author =       {Manfred Schmidt-Schau{\ss}},
  title =        {{FUNDIO}: A {L}ambda-{C}alculus with a {\tt letrec}, {\tt case}, {C}onstructors, and an
                  {IO-I}nterface: {A}pproaching a {T}heory of {\tt unsafe{P}erform{IO}}},
  institution =  {Institut f\"ur Informatik, J.W. Goethe-Universit\"at Frankfurt am Main},
  year =         2003,
  type =         {Frank report},
  number =       16,
  month =        {September}
}