Physiological modelling using RL. - Fred de Geus; Ernest Rotterdam; Sieger van Denneheuvel; Peter van Emde Boas (AIME, 1991)

Integrated use of causal and algebraic physiological models to support anaesthetists in decision making. - Ernest P. Rotterdam; Pieter F. de Vries Robbé; Jacob P. Zock (AIME, 1991)

Symbolic computation in RL/1. - Sieger van Denneheuvel; Karen L. Kwast; Peter van Emde Boas; Fred de Geus; Ernest Rotterdam (DEXA, 1991)

Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia. - Ernest Rotterdam; Sieger van Denneheuvel; Pim Hennis; Peter van Emde Boas (DEXA, 1993)

Formalizing Anaesthesia: a case study in formal specification. - Rix Groenboom; Erik Saaman; Ernest Rotterdam; Gerard R. Renardel de Lavalette (FME, 1996)

Formalisation for decision support in anaesthesiology. - Gerard R. Renardel de Lavalette; Rix Groenboom; Ernest Rotterdam; Frank van Harmelen; Annette ten Teije; Fred de Geus (Artif. Intell. Medicine, 1997)