@inproceedings{CSM-1993-Drew,
	author        = "Daniel W. Drew",
	booktitle     = "{Proceedings of the Ninth Conference on Software Maintenance}",
	editor        = "David N. Card",
	isbn          = "0-8186-4600-4",
	pages         = "12--20",
	publisher     = "{IEEE Computer Society}",
	title         = "{Developing Formal Software Process Definitions}",
	year          = 1993,
}