A formal model for module interconnection languages (1994)

by M Rice, S Seidman
Venue:IEEE Transactions on Software Engineering