From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures | IEEE Conference Publication | IEEE Xplore