Direct Implementation of Algebraic Specification of Abstract Data Types | IEEE Journals & Magazine | IEEE Xplore