@inproceedings{WCRE-2000-Ward,
	author        = "Martin P. Ward",
	booktitle     = "{Proceedings of the Seventh Working Conference on Reverse Engineering}",
	ee            = "http://computer.org/proceedings/wcre/0881/08810011abs.htm",
	isbn          = "0-7695-0881-2",
	pages         = "11--None",
	publisher     = "{IEEE Computer Society}",
	title         = "{Reverse Engineering from Assembler to Formal Specifications via Program Transformations}",
	year          = 2000,
}