Xiaojuan Cai, Han Zhu. Applying a testing approach to the Calculus of Fair Ambients. Int. J. Comput. Math., 86(12):2040-2060, 2009. [doi]
@article{CaiZ09-1,
title = {Applying a testing approach to the Calculus of Fair Ambients},
author = {Xiaojuan Cai and Han Zhu},
year = {2009},
doi = {10.1080/00207160903243148},
url = {http://dx.doi.org/10.1080/00207160903243148},
tags = {testing, systematic-approach},
researchr = {https://researchr.org/publication/CaiZ09-1},
cites = {0},
citedby = {0},
journal = {Int. J. Comput. Math.},
volume = {86},
number = {12},
pages = {2040-2060},
}