Protocure: Supporting the development of medical protocols through formal methodsProc of the Symposium on Computerized Guidelines and Protocols (CGP-04) - Ten Teije, A; Balser, M; Coltell, O; van Croonenborg, J; Duelli, C; van Harmelen, F (IOS Press, 2004)
pp