F. Steinicke, G. Bruder, и K. Hinrichs. Symposium on Virtual Reality and Software Technology (VRST) (Poster Presentation), стр. 229--230. ACM, ACM Press, (2007)
H. Xiong, P. Curzon, S. Tahar, и A. Blandford. Integrated Formal Methods, 2335, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2002)