Nova: Formal Specification of Reusable Interface Objects (1995)

by P S C Alencar, D D Cowan, C J P Lucena, L C M
Venue:ACM SIGSOFT Software Engineering Notes, Proceedings of the 17th international conference on software engineering on Symposium on software reusability