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