@inproceedings{PEPM-1992-Mogensen,
	author        = "Torben Æ. Mogensen",
	booktitle     = "{Proceedings of the Second Workshop on Partial Evaluation and Semantics-Based Program Manipulation (TR YALEU/DCS/RR-909)}",
	pages         = "116--121",
	publisher     = "{Yale University}",
	title         = "{Self-applicable Partial Evaluation for Pure λ Calculus}",
	year          = 1992,
}