V. Chaudhri, N. Dinesh, and S. Heymans. In Proc. of 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), (September 2014)
S. Cruanes, S. Heymans, I. Mason, S. Owre, and N. Shankar. Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugi (SAS 2014), Kanazawa, Japan, Springer, (2014)