A general theory of composition for a class of “possibilistic” properties (1996)

by J McLean
Venue:IEEE Transactions on Software Engineering