E. Emerson, A. Mok, A. Sistla, and J. Srinivasan. CAV 90: Computer-aided Verification, volume 531 of Lecture Notes in Computer Science, Springer Verlag, New York, (1990)
M. Erwig, R. Guting, M. Schneider, and M. Vazirgiannis. Proceedings of the 6th International Symposium on Advances in Geographic Information Systems (GIS-98), page 131--136. New York, ACM Press, (November 1998)
M. Schaal. Lecture Notes in Informatics (LNI) - Proceedings: Informatik für Menschen, volume P-93 of Series of the Gesellschaft für Informatik (GI), page 426--430. Bonn, (2006)