Specification and Testing of Abstract Data Types.

Pankaj Jalote Specification and Testing of Abstract Data Types. 75-82 1992 17 Comput. Lang. 1 db/journals/cl/cl17.html#Jalote92