H. Kim, S. Scerri, J. Breslin, S. Decker, and H. Kim. Proceedings of the 2008 International Conference on Dublin Core and Metadata Applications, page 128--137. Berlin, Deutschland, Dublin Core Metadata Initiative, (2008)
M. Bezem, T. Coquand, and S. Huber. 19th International Conference on Types for Proofs and Programs (TYPES 2013), volume 26 of Leibniz International Proceedings in Informatics (LIPIcs), page 107--128. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2014)