@Misc{DuchierKornstaedtEa:DRAFT:1998,
Author = "Denys Duchier and Leif Kornstaedt and Christian Schulte and Gert Smolka",
Title = "A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling",
Year = 1998,
URL = "https://chschulte.github.io/papers/duchierkornstaedtea-draft-1998.html"
}