@INPROCEEDINGS{residuals,
	AUTHOR = "P. Panangaden and E. W. Stark",
	TITLE = "Computations, Residuals, and the Power of Indeterminacy",
	BOOKTITLE = "Proceedings of the 1988 International Conference
			on Automata, Languages, and Programming",
	PUBLISHER = "Springer-Verlag",
	SERIES = "Lecture Notes in Computer Science",
	YEAR = "1988",
	MONTH = JUL,
	VOLUME = 317,
	PAGES = "439--454"
}