integrating multiple specifications using domain goals (1989)

by W N Robinson
Venue:Proc. IWSSD-5 - 5th Intl. Workshop on Software Specification and Design, IEEE