@misc{indiciae82d2bc9408c3,
  title = {Computation in an algebra of test selection criteria},
  author = {Jan Pachl and Shmuel Zaks},
  year = {1999},
  url = {https://arxiv.org/abs/cs/9912018},
  note = {Source identifier: cs/9912018}
}