H. Xiong, P. Curzon, S. Tahar, und A. Blandford. Integrated Formal Methods, 2335, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2002)
Y. Konishi, H. Tokoro, M. Nishino, und S. Miyashita. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)