A formal approach to using more general components (1994)

by J-J Jeng, B H C Cheng
Venue:In Proceedings of the 9th Knowledge-Based Software Engineering Conference