1. Composite/structured design;Myers,1978
2. Object-oriented software construction;Meyer,1988
3. Ada programming language;ANSI;ANSI/MIL-STD-1815A ANSI,1983
4. Formal specification of data abstraction in Fortran 77: abstract arrays;Colbrook;Soft. Eng. J.,1990
5. TYPES: a data abstraction package in Fortran;Youssef,1990