GALEN based formal representation of ICD10. - Gergely Héja; György Surján; Gergely Lukácsy; Peter Pallinger; Miklós Gergely (Int. J. Medical Informatics, 2007)