@inproceedings{RE-2003-CovveyZBCS,
	author        = "H. Dominic Covvey and David Zitner and Daniel M. Berry and Donald D. Cowan and Michael A. Shepherd",
	booktitle     = "{Proceedings of the 11th International Requirements Engineering Conference}",
	doi           = "10.1109/ICRE.2003.1232747",
	isbn          = "0-7695-1980-6",
	pages         = "162--168",
	publisher     = "{IEEE Computer Society}",
	title         = "{Formal Structure for Specifying the Content and Quality of the Electronic Health Record}",
	year          = 2003,
}