Direct Implementation of Algebraic Specification of Abstract Data Types.

Abha Moitra Direct Implementation of Algebraic Specification of Abstract Data Types. 12-20 1982 8 IEEE Trans. Software Eng. 1 db/journals/tse/tse8.html#Moitra82