Algebraic specification of modules and their basic interconnections
Article in Journal of Computer and System Sciences (April 1987)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
A closer look at export and import statements
Article in Computer Languages (January 1986)
Program Abstraction and Instantiation An earlier version of this paper was presented at the Fifth Conference on Software Engineering, San Diego, Calif., March 1981.
Book chapter (January 1986)