Balser, M., Coltell, O., van Croonenborg, J., Duelli, C., van Harmelen, F., Jovell, A., Lucas, P., Marcos, M., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A., & ten Teije, A. (2004). Protocure: Supporting the Development of Medical Protocols Through Formal Methods. In K. Kaiser, S. Miksch, & S. W. Tu (Eds.),
Computer-based Support for Clinical Guidelines and Protocols (pp. 103–107).
http://hdl.handle.net/20.500.12708/50976 ( reposiTUm)