Sampath, Srinivasan2013-05-072013-05-072003http://hdl.handle.net/1993/19977ix, 125 leaves :engA formal specification of electronic patient record processing for an integrated distributed health care systemmaster thesis