\bib{1997/cardelli}
\yr 1997
\by Luca Cardelli
\paper Program fragments, linking, and modularization
\pages 266--277
\inbook \cite{1997/lee-book}
\also available as Digital Equipment Corporation Systems Research Center Research Report 144
\url http://research.microsoft.com/Users/luca/Papers/Linking.pdf
\endref
