Gonzalez, C., López Gutierrez D. M., & Blobel B.  (2012).??Formal Specification of an Ontology-based Service for EHR Interoperability.  Studies In Health Technology And Informatics. 180, 82.