M. Balcer, W. Hasling, and T. Ostrand. Symposium on Testing, Analysis, and Verification, page 210-218. (1989)MR: Formalismen zu der Category-Partition-Methode mittels TSL.
P. Ammann, and J. Offutt. Compass'94: 9th Annual Conference on Computer Assurance, page 69--80. Gaithersburg, MD, National Institute of Standards and Technology, (1994)