A formal specification of electronic patient record processing for an integrated distributed health care system