Rolf Hennicker Martin Wirsing A Formal Method for the Systematic Reuse of Specification Components. 49-75 1991 conf/cip/1991 Methods of Programming db/conf/cip/cip1991.html#HennickerW91