D. Seifert, S. Helke, and T. Santen. Perspectives of System Informatics, volume 2890 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin and Heidelberg, (2003)
P. Ammann, P. Black, and W. Majurski. ICFEM ’98: International Conference on Formal Engineering Methods: In Proceedings of the Second IEEE International Conference on Formal Engineering Methods, page 46–54. IEEE Computer Society, (1998)