@inproceedings{PEPM-1992-Field,
	author        = "John Field",
	booktitle     = "{Proceedings of the Second Workshop on Partial Evaluation and Semantics-Based Program Manipulation (TR YALEU/DCS/RR-909)}",
	pages         = "98--107",
	publisher     = "{Yale University}",
	title         = "{A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis}",
	year          = 1992,
}