Cesar: A Static Sequencing Constraint Analyzer. - Kurt M. Olender; Leon J. Osterweil (Symposium on Testing, Analysis, and Verification, 1989)

Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation. - Kurt M. Olender; Leon J. Osterweil (IEEE Trans. Software Eng., 1990)

Interprocedural Static Analysis of Sequencing Constraints. - Kurt M. Olender; Leon J. Osterweil (ACM Trans. Softw. Eng. Methodol., 1992)

Using algebraic specifications to find sequencing defects. - Kurt M. Olender; James M. Bieman (ISSRE, 1993)

Efficient Testing of Software Modifications. - Anneliese von Mayrhauser; Kurt M. Olender (ITC, 1993)

Algebraic Specifications and Sequencing: A Defect Detection Method. - Kurt M. Olender; James M. Bieman (Softw. Test. Verification Reliab., 1995)