@inproceedings(slicing,
 author       = {Hiralal Agrawal and Joseph R. Horgan},
 year         = {1990},
 title        = {Dynamic Program Slicing},
 booktitle    = {Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation},
 series       = {PLDI '90},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {246--256},
 doi          = {10.1145/93542.93576},
)
@book(Baeten00modetransfer,
 author       = {Jos C. M. Baeten and Jan A. Bergstra},
 year         = {2000},
 title        = {Mode transfer in process algebra},
 series       = {Computing Science Reports},
 volume       = {00-01},
 publisher    = {Technische Universiteit Eindhoven},
)
@article(BergstraK84,
 author       = {Jan A. Bergstra and Jan W. Klop},
 year         = {1984},
 title        = {Process Algebra for Synchronous Communication},
 journal      = {Information and Control},
 volume       = {60},
 number       = {1-3},
 pages        = {109--137},
 doi          = {10.1016/S0019-9958(84)80025-X},
)
@inproceedings(monitorSurvey,
 author       = {Ian Cassar and Adrian Francalanza and Luca Aceto and Anna Ing{\'{o}}lfsd{\'{o}}ttir},
 year         = {2017},
 title        = {A Survey of Runtime Monitoring Instrumentation Techniques},
 booktitle    = {Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017},
 pages        = {15--28},
 doi          = {10.4204/EPTCS.254.2},
)
@inproceedings(lnp,
 author       = {Matteo Cimini},
 year         = {2021},
 title        = {A Calculus for Multi-language Operational Semantics},
 booktitle    = {Software Verification - 13th International Conference, {VSTTE} 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, {NSV} 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers},
 pages        = {25--42},
 doi          = {10.1007/978-3-030-95561-8\_3},
)
@incollection(LangWorkbenches,
 author       = {Sebastian Erdweg and Tijs Storm and V\IeC{\"o}lter, Markus and Meinte Boersma and Remi Bosman and WilliamR. Cook and Albert Gerritsen and Angelo Hulshout and Steven Kelly and Alex Loh and Gabri\IeC{\"e}l D. P. Konat and PedroJ. Molina and Martin Palatnik and Risto Pohjonen and Eugen Schindler and Klemens Schindler and Riccardo Solmi and Vlad A. Vergu and Eelco Visser and Kevin Vlist and Guido H. Wachsmuth and Jimi Woning},
 year         = {2013},
 title        = {{The State of the Art in Language Workbenches}},
 editor       = {Martin Erwig and Richard F. Paige and Eric Wyk},
 booktitle    = {Software Language Engineering},
 series       = {Lecture Notes in Computer Science},
 volume       = {8225},
 publisher    = {Springer},
 pages        = {197--217},
 doi          = {10.1007/978-3-319-02654-1_11},
)
@book(redex,
 author       = {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt},
 year         = {2009},
 title        = {Semantics Engineering with PLT Redex},
 edition      = {1st},
 publisher    = {The MIT Press},
)
@book(hoare1985communicating,
 author       = {C.A.R. Hoare},
 year         = {1985},
 title        = {Communicating Sequential Processes},
 series       = {Prentice-Hall International Series in Computer Science},
 publisher    = {Prentice Hall},
 url          = {http://www.usingcsp.com/cspbook.pdf},
)
@misc(ISO-LOTOS89,
 author       = {ISO/IEC},
 year         = {1989},
 title        = {LOTOS --- a formal description technique based on the temporal ordering of observational behaviour},
 howpublished = {ISO IS 8807},
 doi          = {10.3403/00230466U},
)
@inproceedings(Matthews:2007zr,
 author       = {Jacob Matthews and Robert Bruce Findler},
 year         = {2007},
 title        = {Operational Semantics for Multi-Language Programs},
 booktitle    = {Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series       = {POPL '07},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {3\IeC{\textendash}10},
 doi          = {10.1145/1190216.1190220},
)
@book(Miller:2012lp,
 author       = {Dale Miller and Gopalan Nadathur},
 year         = {2012},
 title        = {Programming with Higher-Order Logic},
 edition      = {1st},
 publisher    = {Cambridge University Press},
 address      = {New York, NY, USA},
 doi          = {10.1017/CBO9781139021326},
)
@article(MILNER19921,
 author       = {Robin Milner and Joachim Parrow and David Walker},
 year         = {1992},
 title        = {A calculus of mobile processes, I},
 journal      = {Information and Computation},
 volume       = {100},
 number       = {1},
 pages        = {1--40},
 doi          = {10.1016/0890-5401(92)90008-4},
)
@article(MILNER199241,
 author       = {Robin Milner and Joachim Parrow and David Walker},
 year         = {1992},
 title        = {A calculus of mobile processes, II},
 journal      = {Information and Computation},
 volume       = {100},
 number       = {1},
 pages        = {41--77},
 doi          = {10.1016/0890-5401(92)90009-5},
)
@inproceedings(Mosses08,
 author       = {Peter D. Mosses},
 year         = {2008},
 title        = {Component-Based Description of Programming Languages},
 booktitle    = {Visions of Computer Science - {BCS} International Academic Conference, Imperial College, London, UK, 22-24 September 2008},
 pages        = {275--286},
 doi          = {10.14236/ewic/VOCS2008.23},
)
@inproceedings(pattersonLink,
 author       = {Daniel Patterson and Amal Ahmed},
 year         = {2017},
 title        = {{Linking Types for Multi-Language Software: Have Your Cake and Eat It Too}},
 editor       = {Benjamin S. Lerner and Rastislav Bod{\'i}k and Shriram Krishnamurthi},
 booktitle    = {2nd Summit on Advances in Programming Languages (SNAPL 2017)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {71},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {12:1--12:15},
 doi          = {10.4230/LIPIcs.SNAPL.2017.12},
)
@inproceedings(funTal,
 author       = {Daniel Patterson and Jamie Perconti and Christos Dimoulas and Amal Ahmed},
 year         = {2017},
 title        = {FunTAL: Reasonably Mixing a Functional Language with Assembly},
 booktitle    = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation},
 series       = {PLDI 2017},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {495--509},
 doi          = {10.1145/3062341.3062347},
)
@inproceedings(Pfenning1999,
 author       = {Frank Pfenning and Carsten Sch\"{u}rmann},
 year         = {1999},
 title        = {System Description: Twelf - A Meta-Logical Framework for Deductive Systems},
 booktitle    = {Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction},
 series       = {CADE-16},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {202--206},
 doi          = {10.1007/3-540-48660-7_14},
)
@article(Rosu2010,
 author       = {Grigore Rosu and \c{S}erb\u{a}nu\c{t}\u{a}, Traian F.},
 year         = {2010},
 title        = {{An overview of the K semantic framework}},
 journal      = {The Journal of Logic and Algebraic Programming},
 volume       = {79},
 number       = {6},
 pages        = {397--434},
 doi          = {10.1016/j.jlap.2010.03.012},
)
@inproceedings(fab,
 author       = {Gabriel Scherer and Max S. New and Nick Rioux and Amal Ahmed},
 year         = {2018},
 title        = {Fabulous Interoperability for {ML} and a Linear Language},
 booktitle    = {Foundations of Software Science and Computation Structures - 21st International Conference, {FOSSACS} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings},
 pages        = {146--162},
 doi          = {10.1007/978-3-319-89366-2\_8},
)
@inproceedings(Sewell:2007,
 author       = {Peter Sewell and Francesco Zappa Nardelli and Scott Owens and Gilles Peskine and Thomas Ridge and Susmit Sarkar and Strni\v{s}a, Rok},
 year         = {2007},
 title        = {Ott: Effective Tool Support for the Working Semanticist},
 booktitle    = {Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming},
 series       = {ICFP '07},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {1--12},
 doi          = {10.1145/1291151.1291155},
)