A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications | Publicación