References

Bass 87
Bassett, P.G. [1987] Frame-Based Software Development. IEEE Software.

Bato 91
Batory, D., and O'Malley, S., ``Genvoca: Reuse in Layered Domains'', Proceedings of the First International Workshop on Software Reusability, Dortmund, Germany, July, 1991.

Booc 87
Booch, G. [1987] Software Components with Ada. Benjamin/Cummings Publishing Co.

CAMP 85
CAMP [1985]. Common Ada Missile Packages, McDonnell Douglas Astronautics Company, St. Louis, MO, 3 Volumes.

Gogo 83
Goguen, J.A. [1983]. LIL - A Library Interconnect Language. Report on Program Libraries Workshop, SRI International.

Harp 86
Harper, R., Milner, R., and Tofte, M. [1988] The definition of Standard ML, Version 2. ECS-LFCS-88-62, Laboratory for Foundations of Computer Science, University of Edinburgh.

Muss 88
Musser, D.R., and Stepanov, A.A. [1988]. Generic Programming, Proceedings of ISSAC-88 and AAEC-6, Rome, Italy.

SMTR 90
Proceedings of the Third Annual Workshop: Methods and Tools for Reuse, CASE Center, Syracuse University, June, 1990.

Trac 89
Tracz, W.J., and Edwards, S. [1989]. Implementation Working Group Report. Reuse In Practice Workshop, Software Engineering Institute, Pitt, Pa.

Trac 90
Tracz, W.J. [1990] Formal Specification of Parameterized Programs in LILEANNA. Ph.D. Dissertation, Stanford University (to appear, 1992).

Uhl 90
Uhl, J., and Schmid, H.A. [1990] A Systematic Catalogue of Reusable Abstract Data Types, Lecture Notes in Computer Science (#460), Springer-Verlag.