Transforming functional signatures of algebraic specifications into object-oriented class signatures | IEEE Conference Publication | IEEE Xplore