Integration tools are important means for upholding the mutual consistency of dependent documents. In this work-in-progress-contribution (in German language) a new method for specifying such integration tools is sketched.
Description:
I am making my old paper from 1997 available again here via "UPSpace" mainly because of historic interests.
