@inproceedings{DBLP:conf/icse/FernandezR97,
	author={Maria F. Fernandez,
               Norman Ramsey},
	booktitle={International Conference on Software Engineering},
	pages={326-336},
	title={Automatic Checking of Instruction Specifications},
	year=1997,
}