G. Delzanno, J. Raskin, und L. Begin. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, Seite 298--310. London, UK, Springer-Verlag, (2001)
L. Raskin, E. Rivlin, und M. Rudzsky. VISAPP (2), Seite 459-465. INSTICC - Institute for Systems and Technologies of Information, Control and Communication, (2007)
F. Harvey, und R. Raskin. Geospatial Semantics and the Semantic Web, Volume 12 von Semantic Web and Beyond: Computing for Human Experience, Seite 87-96. Springer, (2011)