@inproceedings{BarnettLW04,
	Author = {M. Barnett and K. R. M. Leino and W. Schulte},
	Crossref = {CASSIS04},
	Pages = {151--171},
	Title = {The {Spec\#} programming system: An Overview}}