Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification

Steven D. Litvintchouk, Allen S. Matsumoto. Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification. IEEE Trans. Software Eng., 10(5):544-551, 1984.

Abstract

Abstract is missing.