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

by S D Litvintchouk, A S Matsumoto
Venue:IEEE Transactions on Software Engineering