A Formal Specification in B of a Medical Decision Support System. - Christine Poerschke; David E. Lightfoot; John L. Nealon (ZB, 2003)