R. D. Arthan, P. Caseley, Colin O Halloran, Alf Smith. ClawZ: Control Laws in Z. In ICFEM. pages 169-176, 2000. [doi]
@inproceedings{ArthanCOS00, title = {ClawZ: Control Laws in Z}, author = {R. D. Arthan and P. Caseley and Colin O Halloran and Alf Smith}, year = {2000}, url = {http://computer.org/proceedings/icfem/0822/08220169abs.htm}, researchr = {https://researchr.org/publication/ArthanCOS00}, cites = {0}, citedby = {0}, pages = {169-176}, booktitle = {ICFEM}, }