Formal description of temporal knowledge in case reports. - Arnoud Van Der Maas; Arthur H. M. ter Hofstede; Pieter de Vries Robbé (Artif. Intell. Medicine, 1999)

Formal description of disease courses. - Arnoud Van Der Maas; Arthur H. M. ter Hofstede (Artif. Intell. Medicine, 2000)

A formal framework of knowledge to support rational psychoactive drug selection. - Dirk Van Hyfte; Arnoud Van Der Maas; Tikma Tjandra-Maga; Pieter de Vries Robbé (Artif. Intell. Medicine, 2001)

Viewpoint: Progress with Formalization in Medical Informatics? - Arnoud Van Der Maas; A. Johannes Ten Hoopen; Arthur H. M. ter Hofstede (J. Am. Medical Informatics Assoc., 2001)

Model Formulation: Requirements for Medical Modeling Languages. - Arnoud Van Der Maas; Arthur H. M. ter Hofstede; A. Johannes Ten Hoopen (J. Am. Medical Informatics Assoc., 2001)