Gordon Rose;Roger Duke
-;-
Composing pattern-based components and verifying correctness
Journal of Systems and Software