A formalism of the object compounds viewed as information processing support | IEEE Conference Publication | IEEE Xplore