@article{Phi87,
   author = {I.C.C. Phillips},
   title = {Refusal Testing},
   journal = {Theoretical Computer Science},
   volume = 50,
   pages = {241-284},
   year = 1987
}