Guidelines with Formal Representations -- Computerised Advice on Drug Dosage Decisions