S. Awasthi, и A. Nayak. Proceedings of the 21th International Conference on Conceptual Structures (ICCS 2013), том 7735 из Lecture Notes in Computer Science, стр. 277-288. Springer, (2013)
P. James, A. Knapp, T. Mossakowski, и M. Roggenbach. Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, том 7841 из Lecture Notes in Computer Science, стр. 178-194. Springer, (2013)