@inproceedings{KBSE-1994-JengC,
	author        = "Jun-Jang Jeng and Betty H. C. Cheng",
	booktitle     = "{Proceedings of the Ninth Knowledge-Based Software Engineering Conference}",
	pages         = "90--97",
	publisher     = "{IEEE Computer Society}",
	title         = "{A Formal Approach to Reusing More General Components}",
	year          = 1994,
}