@inproceedings{ICSM-2006-Hou,
	author        = "Daqing Hou",
	booktitle     = "{Proceedings of the 22nd International Conference on Software Maintenance}",
	doi           = "10.1109/ICSM.2006.73",
	isbn          = "0-7695-2354-4",
	pages         = "343--346",
	publisher     = "{IEEE Computer Society}",
	title         = "{Using Structural Constraints to Specify and Check Design Intent in Source Code — Ph.D. Dissertation Synopsis}",
	year          = 2006,
}