Formal specification of reusable interface objects (1995)

by P S C Alencar, D D Cowan, C J P Lucena, L C M Nova
Venue:In Proceedings of the 17th international conference on software engineering on Symposium on software reusability. April 29 - 30