@inproceedings(saidi,
 author       = {Susanne Graf and Sa{\"{\i}}di, Hassen},
 year         = {1997},
 title        = {Construction of Abstract State Graphs with {PVS}},
 booktitle    = {Computer Aided Verification, 9th International Conference, {CAV} '97, Haifa, Israel, June 22-25, 1997, Proceedings},
 pages        = {72--83},
 doi          = {10.1007/3-540-63166-6_10},
)
@article(DBLP:journals/jfp/GreveKMMRRSVW08,
 author       = {David A. Greve and Matt Kaufmann and Panagiotis Manolios and J. Strother Moore and Sandip Ray and Ruiz{-}Reina, Jos{\'{e}}{-}Luis and Rob Sumners and Daron Vroon and Matthew Wilding},
 year         = {2008},
 title        = {Efficient execution in an automated reasoning environment},
 journal      = {J. Funct. Program.},
 volume       = {18},
 number       = {1},
 pages        = {15--46},
 doi          = {10.1017/S0956796807006338},
)
@inproceedings(DBLP:journals/corr/JainM15a,
 author       = {Mitesh Jain and Panagiotis Manolios},
 year         = {2015},
 title        = {Proving Skipping Refinement with ACL2s},
 booktitle    = {Proceedings Thirteenth International Workshop on the {ACL2} Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015.},
 pages        = {111--127},
 doi          = {10.4204/EPTCS.192.9},
)
@book(ACL2,
 author       = {Matt Kaufmann and Panagiotis Manolios and J Strother Moore},
 year         = {2000},
 title        = {Computer-Aided Reasoning: An Approach},
 publisher    = {Kluwer Academic},
 doi          = {10.1007/978-1-4757-3188-0},
)
@inproceedings(kaufsum,
 author       = {Matt Kaufmann and Rob Sumners},
 year         = {2002},
 title        = {Efficient rewriting of data structures in ACL2},
 editor       = {Kaufmann M. Moore J.S. Borrione, D.},
 booktitle    = {Proceedings of 3rd International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2002)},
)
@inproceedings(hooman,
 author       = {Marcel Kyas and Jozef Hooman},
 year         = {2006},
 title        = {Compositional Verification of Timed Components using {PVS}},
 booktitle    = {Software Engineering 2006, Fachtagung des GI-Fachbereichs Softwaretechnik, 28.-31.3.2006 in Leipzig},
 pages        = {143--154},
)
@article(Lamport,
 author       = {Leslie Lamport},
 year         = {1974},
 title        = {A New Solution of Dijkstra's Concurrent Programming Problem},
 journal      = {Commun. {ACM}},
 volume       = {17},
 number       = {8},
 pages        = {453--455},
 doi          = {10.1145/361082.361093},
)
@inproceedings(cav1,
 author       = {Panagiotis Manolios and Kedar S. Namjoshi and Robert Summers},
 year         = {1999},
 title        = {Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation},
 booktitle    = {Computer Aided Verification, 11th International Conference, {CAV} '99, Trento, Italy, July 6-10, 1999, Proceedings},
 pages        = {369--379},
 doi          = {10.1007/3-540-48683-6_32},
)
@inproceedings(Ray,
 author       = {Sandip Ray and Rob Sumners},
 year         = {2011},
 title        = {A theorem proving approach for verification of reactive concurrent programs},
 editor       = {Chaudhury S. Farzan A. Gopalakrishnen G. Seigel S. Burckhardt, S.},
 booktitle    = {4th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2011)},
)
@article(RaySumners,
 author       = {Sandip Ray and Rob Sumners},
 year         = {2013},
 title        = {Specification and Verification of Concurrent Programs Through Refinements},
 journal      = {J. Autom. Reasoning},
 volume       = {51},
 number       = {3},
 pages        = {241--280},
 doi          = {10.1007/s10817-012-9258-1},
)