References

BR87
Ted Biggerstaff and Charles Richter.
Reusability framework, assessment, and directions.
IEEE Software, 4(2):41–49, March 1987.

Edw90
Stephen H. Edwards.
An approach for constructing reusable software components in Ada.
IDA Paper P-2378, Institute for Defense Analyses, Alexandria, VA, September 1990.

Gog84
Joseph A. Goguen.
Parameterized programming.
IEEE Transactions on Software Engineering, SE-10(5):528–543, September 1984.

Gog86
Joseph A. Goguen.
Reusing and interconnecting software components.
IEEE Computer, 19(2):16–28, February 1986.

Heg89
Wael A. Hegazy.
The Requirements of Testing a Class of Reusable Software Components.
PhD thesis, Dept. of Computer and Information Science, The Ohio State University, Columbus, OH, 1989.

LaL89
Wilf R. LaLonde.
Designing families of data types using exemplars.
ACM Transactions on Programming Languages and Systems, 11(2):212–248, April 1989.

Lat89
Larry Latour.
University of Maine, personal communication, 1989.

Tra89
Will Tracz.
Parameterization: A case study.
Ada Letters, IX(4):92–102, May/June 1989.

Tra90
William Tracz.
Formal Specification of Parameterized Programs in LILEANNA.
PhD thesis, Dept. of Electrical Engineering, Stanford University, Stanford, CA, 1990.

WOZ91
Bruce W. Weide, William F. Ogden, and Stuart H. Zweben.
Reusable software components.
In M. C. Yovits, editor, Advances in Computers. Academic Press, 1991.