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.
Article in Journal of Computer and System Sciences (April 1987)
Article in Computer Languages (January 1986)
Book chapter (January 1986)