T. Huang, and J. Lin. Proceedings of the 1994 International Conference on Parallel and Distributed Systems, page 759--768. Washington, DC, USA, IEEE Computer Society, (1994)
G. Delzanno. Electronic Notes in Theoretical Computer Science, 50 (4):
371--385(2001)VEPAS 2001, Verification of Parameterized Systems (Satellite Workshop of ICALP 2001).