Hans Lei\ss. Combining Recursive and Dynamic Types. Research Report CIS, Universit\"at M\"unchen, No 92, October 1992.
@TechReport{leiss92,
Author = {Lei\ss, Hans},
Title = {Combining Recursive and Dynamic Types},
Number = {92},
Institution = {CIS, Universit\"{a}t M\"{u}nchen},
Month = {October},
Year = {1992}
}
Get EndNote Reference (.ref)