author : John L. Nealon

Short works

• A Formal specification in B of a medical decision support system. 2003. (In ZB 2003 )