@INPROCEEDINGS{bernstein-stark-stmalo95,
	AUTHOR = "K. Bernstein and E. W. Stark",
	TITLE = "On Formally Defining Debuggers",
	BOOKTITLE = "2nd International Workshop on Automated
			and Algorithmic Debugging",
	ADDRESS = "St.~Malo, France",
	MONTH = MAY,
	YEAR = "1995"
}