@inproceedings(bolingbroke2011improving,
 author       = {Max Bolingbroke and Peyton Jones, Simon},
 year         = {2011},
 title        = {Improving supercompilation: tag-bags, rollback, speculation, normalisation, and generalisation},
 booktitle    = {ICFP},
 url          = {https://www.microsoft.com/en-us/research/publication/improving-supercompilation-tag-bags-rollback-speculation-normalisation-and-generalisation/},
)
@inproceedings(Romanenko2014StagedMRSC,
 author       = {Sergei Grechanik and Ilya Klyuchnikov and Sergei Romanenko},
 year         = {2014},
 title        = {Staged Multi-Result Supercompilation: Filtering by Transformation},
 editor       = {Andrei Klimov and Sergei Romanenko},
 booktitle    = {Proceedings of the Fourth International Valentin Turchin Workshop on Metacomputation},
 publisher    = {University of Pereslavl Publishing House},
 address      = {Pereslavl-Zalessky, Russia},
 pages        = {54--78},
 url          = {http://meta2014.pereslavl.ru/papers/2014_Grechanik_Klyuchnikov_Romanenko__Staged_Multi-Result_Supercompilation__Filtering_by_Transformation.pdf},
)
@inproceedings(10.1145/1244381.1244391,
 author       = {G. W. Hamilton},
 year         = {2007},
 title        = {Distillation: Extracting the Essence of Programs},
 booktitle    = {Proceedings of the 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation},
 series       = {PEPM '07},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {61--70},
 doi          = {10.1145/1244381.1244391},
)
@book(Jones:1993:PEA:153676,
 author       = {Neil D. Jones and Carsten K. Gomard and Peter Sestoft},
 year         = {1993},
 title        = {Partial Evaluation and Automatic Program Generation},
 publisher    = {Prentice-Hall, Inc.},
 address      = {Upper Saddle River, NJ, USA},
)
@inproceedings(Jonsson2011Taming,
 author       = {Peter A. Jonsson and Johan Nordlander},
 year         = {2011},
 title        = {Taming Code Explosion in Supercompilation},
 booktitle    = {Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation},
 series       = {PEPM '11},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {33--42},
 doi          = {10.1145/1929501.1929507},
)
@article(TMR/SCP2014,
 author       = {Ilya Klyuchnikov and Dimitur Krustev},
 year         = {2014},
 title        = {Supercompilation: Ideas and methods},
 journal      = {The Monad Reader},
 volume       = {23},
)
@inproceedings(Klyuchnikov2010,
 author       = {Ilya Klyuchnikov and Sergei Romanenko},
 year         = {2010},
 title        = {Proving the Equivalence of Higher-Order Terms by Means of Supercompilation},
 editor       = {Amir Pnueli and Irina Virbitskaite and Andrei Voronkov},
 booktitle    = {Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {193--205},
 doi          = {10.1007/978-3-642-11486-1_17},
)
@inproceedings(KlyuchnikovMRSCBranch,
 author       = {Ilya Klyuchnikov and Sergei A. Romanenko},
 year         = {2012},
 title        = {Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions},
 editor       = {Edmund Clarke and Irina Virbitskaite and Andrei Voronkov},
 booktitle    = {Perspectives of Systems Informatics},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {210--226},
 doi          = {10.1007/978-3-642-29709-0_19},
)
@inproceedings(Klyuchnikov:META2010:HigherLevelScp,
 author       = {Ilya G. Klyuchnikov and Sergei A. Romanenko},
 year         = {2010},
 title        = {Towards Higher-Level Supercompilation},
 editor       = {A. P. Nemytykh},
 booktitle    = {Proceedings of the Second International Workshop on Metacomputation (META 2010)},
 pages        = {82--101},
)
@inproceedings(Klyuchnikov:META2012:MRSC,
 author       = {Ilya G. Klyuchnikov and Sergei A. Romanenko},
 year         = {2012},
 title        = {Formalizing and Implementing Multi-Result Supercompilation},
 editor       = {A. V. Klimov and S. A. Romanenko},
 booktitle    = {Proceedings of the Third International Workshop on Metacomputation (META 2012)},
 pages        = {142--164},
)
@misc(krustev2020controlling,
 author       = {Dimitur Krustev},
 year         = {2020},
 title        = {Controlling the Size of Supercompiled Programs using Multi-result Supercompilation},
 url          = {https://arxiv.org/abs/2006.02204},
)
@inproceedings(krustev2014approach,
 author       = {Dimitur Nikolaev Krustev},
 year         = {2014},
 title        = {An Approach for Modular Verification of Multi-Result Supercompilers},
 editor       = {A.V. Klimov and S.A. Romamenko},
 booktitle    = {Proceedings of the Fourth International Valentin Turchin Workshop on Metacomputation},
 publisher    = {University of Pereslavl Publishing House},
 address      = {Pereslavl-Zalessky, Russia},
 pages        = {177--193},
)
@article(Lisitsa2017,
 author       = {Alexei P. Lisitsa and Andrei P. Nemytykh},
 year         = {2017},
 title        = {Verification of Programs via Intermediate Interpretation},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {253},
 pages        = {54--74},
 doi          = {10.4204/eptcs.253.6},
)
@techreport(MendelGleasonPhD2011,
 author       = {Mendel-Gleason, Gavin},
 year         = {2011},
 title        = {Types and Verification for Infinite State Systems},
 type         = {{PhD thesis}},
 institution  = {Dublin City University},
 address      = {Dublin, Ireland},
)
@mastersthesis(Sorensen1994TurchinSupercompiler,
 author       = {S{\o}rensen, M. H.},
 year         = {1994},
 title        = {Turchin{'}s Supercompiler Revisited: an Operational Theory of Positive Information Propagation},
 school       = {K{\o}benhavns Universitet, Datalogisk Institut},
)
@inproceedings(sorm98b,
 author       = {S{\o}rensen, Morten Heine and Robert Gl\"uck},
 year         = {1999},
 title        = {Introduction to Supercompilation},
 editor       = {John Hatcliff and Torben Mogensen and Peter Thiemann},
 booktitle    = {Partial Evaluation: Practice and Theory},
 series       = {Lecture Notes in Computer Science},
 volume       = {1706},
 publisher    = {Springer-Verlag},
 pages        = {246--270},
 doi          = {10.1007/3-540-47018-2_10},
)
@article(TurchinSupercompilerConcept,
 author       = {Valentin F. Turchin},
 year         = {1986},
 title        = {The Concept of a Supercompiler},
 journal      = {ACM Trans. Program. Lang. Syst.},
 volume       = {8},
 number       = {3},
 pages        = {292--325},
 doi          = {10.1145/5956.5957},
)