Pachland Zaks. Computation in an Algebra of Test Selection Criteria. 24 Dec. 1999.