Reusing and interconnecting software components (1986)

by J Goguen
Venue:IEEE Computer