Constructing specifications by combining parallel elaborations (1989)

by Martin S Feather
Venue:IEEE Transactions on software engineering