A formal approach to using more general components (1994)

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