@inproceedings{ICPC-2008-AbadiNS,
	author        = "Ahron Abadi and Mordechai Nisenson and Yahalomit Simionovici",
	booktitle     = "{Proceedings of the 16th International Conference on Program Comprehension}",
	doi           = "10.1109/ICPC.2008.30",
	editor        = "René L. Krikhaar and Ralf Lämmel and Chris Verhoef",
	pages         = "103--112",
	publisher     = "{IEEE Computer Society}",
	title         = "{A Traceability Technique for Specifications}",
	year          = 2008,
}