HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents. - Barry G. Silverman; Oleg Sokolsky; Val Tannen; Alex Wong 006; Lance Lang; Allan Khoury; Keith E. Campbell; Chen Qiang; Arnaud Sahuguet (AMIA, 1999)