T. Mens, K. Mens, and P. Steyaert. Proceedings of the International Conference on Formal Methods Europe (FME), volume 873 of Lecture Notes in Computer Science, page 326--345. Springer-Verlag, (1994)
F. Dau. Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006), volume 4068 of Lecture Notes in Computer Science, page 172-188. Springer, (2006)
T. Langlands, B. Henry, and S. Wearne. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)