@inproceedings(PETTOROSSI09,
 author       = {{Alberto Pettorossi and Maurizio Proietti and Valerio Senni}},
 year         = {2009},
 title        = {{Deciding Full Branching Time Logic by Program Transformation}},
 booktitle    = {{19th International Symposium on Logic-Based Program Synthesis and Transformation}},
 pages        = {{5--21}},
 doi          = {10.1007/978-3-642-12592-8\_2},
)
@article(LISITSA08,
 author       = {{Alexei Lisitsa and Andrei P. Nemytykh}},
 year         = {2008},
 title        = {{Reachability Analysis in Verification via Supercompilation}},
 journal      = {{International Journal of Foundations of Computer Science}},
 volume       = {19},
 number       = {4},
 pages        = {{953--969}},
 doi          = {10.1142/S0129054108006066},
)
@article(CLARKE86,
 author       = {E.M. Clarke and E.A. Emerson and A.P. Sistla},
 year         = {1986},
 title        = {{Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications}},
 journal      = {ACM Transactions on Programming Languages and Systems},
 volume       = {8},
 number       = {2},
 pages        = {{244--263}},
 doi          = {10.1145/5397.5399},
)
@inproceedings(FIORAVANTI01,
 author       = {{Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}},
 year         = {2001},
 title        = {{Verification of Sets of Infinite State Processes Using Program Transformation}},
 booktitle    = {{11th International Workshop on Logic Based Program Synthesis and Transformation}},
 pages        = {{111--128}},
 doi          = {10.1007/3-540-45607-4\_7},
)
@inproceedings(HAMILTON07A,
 author       = {G.W. Hamilton},
 year         = {2007},
 title        = {{D}istillation: {E}xtracting the {E}ssence of {P}rograms},
 booktitle    = {Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation},
 pages        = {61--70},
 doi          = {10.1145/1244381.1244391},
)
@article(HAMILTON15,
 author       = {G.W. Hamilton},
 year         = {2015},
 title        = {Verifying Temporal Properties of Reactive Systems by Transformation},
 journal      = {Electronic Proceedings of Theoretical Computer Science},
 volume       = {199},
 pages        = {33--50},
 doi          = {10.4204/EPTCS.199},
)
@inproceedings(HAMILTON12,
 author       = {G.W. Hamilton and N.D. Jones},
 year         = {2012},
 title        = {Distillation With Labelled Transition Systems},
 booktitle    = {Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation},
 publisher    = {ACM},
 pages        = {15--24},
 doi          = {10.1145/2103746.2103753},
)
@inproceedings(SEKI11,
 author       = {{Hirohisa Seki}},
 year         = {2011},
 title        = {{Proving Properties of Co-Logic Programs by Unfold/Fold Transformations}},
 booktitle    = {{ 21st International Symposium on Logic-Based Program Synthesis and Transformation}},
 pages        = {{205--220}},
 doi          = {10.1007/978-3-642-32211-2\_14},
)
@article(LAMPORT74,
 author       = {L. Lamport},
 year         = {1974},
 title        = {{A New Solution of Dijkstra's Concurrent Programming Problem}},
 journal      = {Communications of the ACM},
 volume       = {17},
 number       = {8},
 pages        = {453--455},
 doi          = {10.1145/361082.361093},
)
@unpublished(LESTER10,
 author       = {{Lester, M.M. and Neatherway, R.P. and Ong, C.-H. L. and Ramsay, S.J.}},
 year         = {2010},
 title        = {{Model Checking Liveness Properties of Higher-Order Functional Programs}},
 note         = {Unpublished},
)
@inproceedings(LEUSCHEL99,
 author       = {M. Leuschel and T. Massart},
 year         = {1999},
 title        = {{Infinite State Model Checking by Abstract Interpretation and Program Specialisation}},
 booktitle    = {{9th International Workshop on Logic Programming Synthesis and Transformation}},
 pages        = {{62--81}},
 doi          = {10.1007/10720327\_5},
)
@article(LISITSA07,
 author       = {A. Lisitsa and A. Nemytykh},
 year         = {2007},
 title        = {{Verification as a Parameterized Testing (Experiments with the SCP4 Supercompiler)}},
 journal      = {Programming and Computer Software},
 volume       = {33},
 number       = {1},
 pages        = {14--23},
 doi          = {10.1134/S0361768807010033},
)
@inproceedings(KOBAYASHI09,
 author       = {{Naoki Kobayashi}},
 year         = {2009},
 title        = {{Types and Higher-Order Recursion Schemes for Verification of Higher-Order Programs}},
 booktitle    = {{Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL}}},
 pages        = {{416--428}},
 doi          = {10.1145/1480881.1480933},
)
@inproceedings(ONG06,
 author       = {C.-H. L. Ong},
 year         = {2006},
 title        = {{On Model-Checking Trees Generated by Higher-Order Recursion Schemes}},
 booktitle    = {{Proceedings of Logic in Computer Science}, LICS},
 publisher    = {IEEE Computer Society Press},
 pages        = {{81--90}},
 doi          = {10.1109/LICS.2006.38},
)
@inproceedings(ROYCHOUDHURI00,
 author       = {Abhik Roychoudhury and K. Narayan Kumar and C. R. Ramakrishnan and I. V. Ramakrishnan and Scott A. Smolka},
 year         = {2000},
 title        = {{Verification of Parameterized Systems Using Logic Program Transformations}},
 booktitle    = {{Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems}},
 pages        = {172--187},
 doi          = {10.1007/3-540-46419-0\_13},
)
@article(SORENSEN96,
 author       = {S{\o}rensen, M.H. and R. Gl{\"u}ck and N.D. Jones},
 year         = {1996},
 title        = {{A Positive Supercompiler}},
 journal      = {Journal of Functional Programming},
 volume       = {6},
 number       = {6},
 pages        = {811--838},
 doi          = {10.1017/S0956796800002008},
)
@article(TURCHIN86,
 author       = {V.F. Turchin},
 year         = {1986},
 title        = {{The Concept of a Supercompiler}},
 journal      = {ACM Transactions on Programming Languages and Systems},
 volume       = {8},
 number       = {3},
 pages        = {90--121},
 doi          = {10.1145/5956.5957},
)