Formal foundations of patient case analysis door A.A. Maas