author = {M. Marcos and M. Balser and A. ten Teije and F. van Harmelen and C. Duelli},
title = {Experiences in the formalisation and verification of medical protocols},
booktitle = {Proceedings of the 9th European Conference on Artificial Intelligence in Medicine ({AIME}-03)},
year = 2003,
publisher = "Springer Verlag",
series = "Lecture Notes in Artificial Intelligence",
number = {xxx},
editor = {xxx},
pages = {xxx},
note = "ISBN xxx",
address = {Cyprus},
month = {Oct}}