@INPROCEEDINGS{bernstein-stark-mfps95,
	AUTHOR = "K. Bernstein and E. W. Stark",
	TITLE = "Operational Semantics of a Focusing Debugger",
	BOOKTITLE = "11th Conference on the Mathematical
			Foundations of Programming Semantics",
	ADDRESS = "New Orleans, LA",
	MONTH = MAR,
	PAGES = "21--40",
	YEAR = "1995"
}