\begin{thebibliography}{{LaL}89}

\bibitem[BR87]{biggerstaff:framework:87}
Ted Biggerstaff and Charles Richter.
\newblock Reusability framework, assessment, and directions.
\newblock {\em {IEEE} Software}, 4(2):41--49, March 1987.

\bibitem[Edw90]{edwards:approach:90}
Stephen~H. Edwards.
\newblock An approach for constructing reusable software components in {Ada}.
\newblock {IDA} Paper P-2378, Institute for Defense Analyses, Alexandria, VA,
  September 1990.

\bibitem[Gog84]{goguen:parm:84}
Joseph~A. Goguen.
\newblock Parameterized programming.
\newblock {\em {IEEE} Transactions on Software Engineering}, SE-10(5):528--543,
  September 1984.

\bibitem[Gog86]{goguen:interconnect:86}
Joseph~A. Goguen.
\newblock Reusing and interconnecting software components.
\newblock {\em {IEEE} Computer}, 19(2):16--28, February 1986.

\bibitem[Heg89]{hegazy:testing:89}
Wael~A. Hegazy.
\newblock {\em The Requirements of Testing a Class of Reusable Software
  Components}.
\newblock PhD thesis, Dept. of Computer and Information Science, The Ohio State
  University, Columbus, OH, 1989.

\bibitem[{LaL}89]{lalonde:exemplars:89}
Wilf~R. {LaL}onde.
\newblock Designing families of data types using exemplars.
\newblock {\em {ACM} Transactions on Programming Languages and Systems},
  11(2):212--248, April 1989.

\bibitem[Lat89]{latour:extint:89}
Larry Latour.
\newblock {U}niversity of {M}aine, personal communication, 1989.

\bibitem[Tra89]{tracz:param:89}
Will Tracz.
\newblock Parameterization: A case study.
\newblock {\em Ada Letters}, IX(4):92--102, May/June 1989.

\bibitem[Tra90]{tracz:lileanna:90}
William Tracz.
\newblock {\em Formal Specification of Parameterized Programs in {LILEANNA}}.
\newblock PhD thesis, Dept. of Electrical Engineering, Stanford University,
  Stanford, CA, 1990.

\bibitem[WOZ91]{woz:reuse:91}
Bruce~W. Weide, William~F. Ogden, and Stuart~H. Zweben.
\newblock Reusable software components.
\newblock In M.~C. Yovits, editor, {\em Advances in Computers}. Academic Press,
  1991.

\end{thebibliography}
