Algebraic Specifications and Sequencing: A Defect Detection Method. - Olender, Kurt M.; Bieman, James M. (Software Testing: Verification & Reliability, 1995)