@inproceedings{ICSE-1988-Johnson,
	acmid         = "55864",
	author        = "W. Lewis Johnson",
	booktitle     = "{Proceedings of the 10th International Conference on Software Engineering}",
	editor        = "Tan Chin Nam and Larry E. Druffel and Bertrand Meyer",
	isbn          = "0-8186-0849-8",
	pages         = "428--438",
	publisher     = "{IEEE Computer Society}",
	title         = "{Deriving Specifications from Requirements}",
	year          = 1988,
}