Formalization of Medical Knowledge - Bemmel, J. H. van (Methods of Information in Medicine, 1986)