R. Keller, и R. Schauer. Proceedings of the 1998 International Conference on Software
Engineering, стр. 302--311. IEEE Computer Society Press / ACM Press, (1998)
B. Grahlmann. Proceedings of TACAS'98 (Tools and Algorithms for the Construction
and Analysis of Systems), том 1384 из Lecture Notes in Computer Science, стр. 102--117. Springer-Verlag, (марта 1998)