<h1 id="institute-for-quantum-information-and-matter"><a href="./">Institute for Quantum Information and Matter</a></h1> <h2 id="iqiminstitute-for-quantum-information-and">(“IQIMInstitute for Quantum Information and</h2> <p>Matter“)</p> <h3 id="book">Book</h3> <p>Sections from <a href="https://authors.library.caltech.edu">CaltechAUTHORS</a></p> <ul> <li>Cao, Michael X.; Ramakrishnan, Navneeth; et al. (2022) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20220804-765722000">One-Shot Point-to-Point Channel Simulation</a>; ISBN 978-1-6654-2159-1; 2022 IEEE International Symposium on Information Theory (ISIT); IEEE: Piscataway, NJ; 796-801; <a href="https://doi.org/10.1109/isit50566.2022.9834411">10.1109/isit50566.2022.9834411</a></li> <li>de Fine Licht, Johannes; Pattison, Christopher A.; et al. (2022) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20220614-222241000">Fast Arbitrary Precision Floating Point on FPGA</a>; ISBN 978-1-6654-8332-2; 2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM); IEEE: Piscataway, NJ; 1-9; <a href="https://doi.org/10.1109/fccm53951.2022.9786219">10.1109/fccm53951.2022.9786219</a></li> <li>Xu, Qian; Putterman, Harald; et al. (2022) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20220307-189714000">Engineering Kerr-cat qubits for hardware efficient quantum error correction</a>; <a href="https://doi.org/10.1117/12.2614832">10.1117/12.2614832</a></li> <li>Ji, Zhengfeng; Natarajan, Anand; et al. (2022) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20220202-191902193">Quantum soundness of testing tensor codes</a>; ISBN 978-1-6654-2056-3; 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS); IEEE: Piscataway, NJ; 586-597; <a href="https://doi.org/10.1109/FOCS52979.2021.00064">10.1109/FOCS52979.2021.00064</a></li> <li>Ramakrishnan, Navneeth; Tomamichel, Marco; et al. (2021) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20220722-768863000">Moderate Deviation Analysis for Quantum State Transfer</a>; ISBN 978-1-6654-0312-2; 2021 IEEE Information Theory Workshop (ITW); IEEE: Piscataway, NJ; 1-6; <a href="https://doi.org/10.1109/itw48936.2021.9611459">10.1109/itw48936.2021.9611459</a></li> <li>Vidick, Thomas and Zhang, Tina (2021) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20221011-458984000.5">Classical Proofs of Quantum Knowledge</a>; ISBN 9783030778859; Advances in Cryptology – EUROCRYPT 2021; Springer: Cham; 630-660; <a href="https://doi.org/10.1007/978-3-030-77886-6_22">10.1007/978-3-030-77886-6_22</a></li> <li>Gilyén, András; Hastings, Matthew B.; et al. (2021) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20220802-839191000">(Sub)Exponential advantage of adiabatic Quantum computation with no sign problem</a>; ISBN 978-1-4503-8053-9; STOC 2021: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing; ACM: New York, NY; 1357-1369; <a href="https://doi.org/10.1145/3406325.3451060">10.1145/3406325.3451060</a></li> <li>Ren, Hengjiang; Shah, Tirth; et al. (2021) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20200915-092939162">Topological phonon transport in an optomechanical system</a>; ISBN 978-1-943580-91-0; 2021 Conference on Lasers and Electro-Optics (CLEO); Optical Society of America: Washington, DC; Art. No. STu2H.3; <a href="https://doi.org/10.1364/CLEO_SI.2021.STu2H.3">10.1364/CLEO_SI.2021.STu2H.3</a></li> <li>Apers, Simon; Gilyén, András; et al. (2021) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20210517-104446034">A Unified Framework of Quantum Walk Search</a>; ISBN 9783959771801; 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021); Dagstuhl Publishing: Wadern, Germany; Art. No. 6; <a href="https://doi.org/10.4230/LIPIcs.STACS.2021.6">10.4230/LIPIcs.STACS.2021.6</a></li> <li>Ben-David, Shalev; Childs, Andrew M.; et al. (2020) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20210630-171353593">Symmetries, Graph Properties, and Quantum Speedups</a>; ISBN 9781728196213; 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS); IEEE: Piscataway, NJ; 649-660; <a href="https://doi.org/10.1109/focs46700.2020.00066">10.1109/focs46700.2020.00066</a></li> <li>Kindem, Jonathan M.; Ruskuc, Andrei; et al. (2020) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20210611-082710176">Single rare-earth ion spins in nanophotonic resonators</a>; ISBN 9780646825045; 2020 Conference on Lasers and Electro-Optics Pacific Rim (CLEO-PR); Optical Society of America: Washington, DC; Art. No. C9C-3; <a href="https://doi.org/10.1364/cleopr.2020.c9c_3">10.1364/cleopr.2020.c9c_3</a></li> <li>Regev, Oded and Vidick, Thomas (2020) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190320-095834301">Bounds on Dimension Reduction in the Nuclear Norm</a>; ISBN 978-3-030-46761-6; Geometric Aspects of Functional Analysis: Israel Seminar (GAFA) 2017-2019 Volume II; Springer: Cham; 279-299; <a href="https://doi.org/10.1007/978-3-030-46762-3_13">10.1007/978-3-030-46762-3_13</a></li> <li>Harrow, Aram W.; Mehraban, Saeed; et al. (2020) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20210226-083215255">Classical algorithms, correlation decay, and complex zeros of partition functions of quantum many-body systems</a>; ISBN 9781450369794; Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing; Association for Computing Machinery: New York, NY; 378-386; <a href="https://doi.org/10.1145/3357713.3384322">10.1145/3357713.3384322</a></li> <li>Chia, Nai-Hui; Gilyén, András; et al. (2020) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20210226-083945792">Sampling-based sublinear low-rank matrix arithmetic framework for dequantizing quantum machine learning</a>; ISBN 9781450369794; Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing; Association for Computing Machinery: New York, NY; 387-400; <a href="https://doi.org/10.1145/3357713.3384314">10.1145/3357713.3384314</a></li> <li>Brakerski, Zvika; Koppula, Venkata; et al. (2020) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20200728-144326318">Simpler Proofs of Quantumness</a>; <a href="https://doi.org/10.4230/LIPIcs.TQC.2020.8">10.4230/LIPIcs.TQC.2020.8</a></li> <li>Abdul-Rahman, Houssam; Lemm, Marius; et al. (2020) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20200922-071519332">A class of two-dimensional AKLT models with a gap</a>; ISBN 978-1-4704-4841-7; Analytic Trends in Mathematical Physics; American Mathematical Society: Providence, RI; 1-21; <a href="https://doi.org/10.1090/conm/741/14917">10.1090/conm/741/14917</a></li> <li>Gheorghiu, Alexandru and Vidick, Thomas (2019) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20200109-143243905">Computationally-Secure and Composable Remote State Preparation</a>; ISBN 9781728149523; 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS); IEEE: Piscataway, NJ; 1024-1033; <a href="https://doi.org/10.1109/focs.2019.00066">10.1109/focs.2019.00066</a></li> <li>Natarajan, Anand and Wright, John (2019) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20200109-143243997">NEEXP is Contained in MIP*</a>; ISBN 9781728149523; 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS); IEEE: Piscataway, NJ; 510-518; <a href="https://doi.org/10.1109/focs.2019.00039">10.1109/focs.2019.00039</a></li> <li>Fitzsimons, Joseph; Ji, Zhengfeng; et al. (2019) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190204-112657116">Quantum proof systems for iterated exponential time, and beyond</a>; ISBN 978-1-4503-6705-9; Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing (STOC ’19); Association for Computing Machinery: New York, NY; 473-480; <a href="https://doi.org/10.1145/3313276.3316343">10.1145/3313276.3316343</a></li> <li>Aggarwal, Divesh; Chung, Kai-Min; et al. (2019) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190320-102401828">A Quantum-Proof Non-Malleable Extractor, With Application to Privacy Amplification against Active Quantum Adversaries</a>; ISBN 978-3-030-17655-6; Advances in Cryptology - EUROCRYPT 2019; Springer: Cham; 442-469; <a href="https://doi.org/10.1007/978-3-030-17656-3_16">10.1007/978-3-030-17656-3_16</a></li> <li>Coladangelo, Andrea; Grilo, Alex B.; et al. (2019) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190320-123759874">Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources</a>; ISBN 978-3-030-17658-7; Advances in Cryptology - EUROCRYPT 2019; Springer: Cham; 247-277; <a href="https://doi.org/10.1007/978-3-030-17659-4_9">10.1007/978-3-030-17659-4_9</a></li> <li>Weilenmann, Mirjam; Krämer, Lea; et al. (2019) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190211-151339114">Smooth Entropy in Axiomatic Thermodynamics</a>; ISBN 978-3-319-99045-3; Thermodynamics in the Quantum Regime; Springer: Cham; 773-798; <a href="https://doi.org/10.1007/978-3-319-99046-0_32">10.1007/978-3-319-99046-0_32</a></li> <li>Hinds Mingo, Erick; Guryanova, Yelena; et al. (2019) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190213-103051707">Quantum thermodynamics with multiple conserved quantities</a>; ISBN 978-3-319-99045-3; Thermodynamics in the Quantum Regime; Springer: Cham; 751-777; <a href="https://doi.org/10.1007/978-3-319-99046-0_31">10.1007/978-3-319-99046-0_31</a></li> <li>Zhou, Sisi; Layden, David; et al. (2019) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190606-092443914">Error-corrected quantum sensing</a>; ISBN 9781510625105; Optical, Opto-Atomic, and Entanglement-Enhanced Precision Metrology; Society of Photo-Optical Instrumentation Engineers (SPIE): Bellingham, WA; Art. No. 109341J; <a href="https://doi.org/10.1117/12.2511587">10.1117/12.2511587</a></li> <li>Preskill, John (2018) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190122-113145453">Simulating quantum field theory with a quantum computer</a>; <a href="https://doi.org/10.48550/arXiv.1811.10085">10.48550/arXiv.1811.10085</a></li> <li>Natarajan, Anand and Vidick, Thomas (2018) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190201-143229217">Low-Degree Testing for Quantum States, and a Quantum Entangled Games PCP for QMA</a>; ISBN 9781538642306; 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS); IEEE: Piscataway, NJ; 731-742; <a href="https://doi.org/10.1109/focs.2018.00075">10.1109/focs.2018.00075</a></li> <li>Brakerski, Zvika; Christiano, Paul; et al. (2018) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190201-143229032">A Cryptographic Test of Quantumness and Certifiable Randomness from a Single Quantum Device</a>; ISBN 9781538642306; 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS); IEEE: Piscataway, NJ; 320-331; <a href="https://doi.org/10.1109/focs.2018.00038">10.1109/focs.2018.00038</a></li> <li>Natarajan, Anand and Vidick, Thomas (2018) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20180822-141142977">Two-Player Entangled Games are NP-Hard</a>; ISBN 978-3-95977-069-9; 33rd Computational Complexity Conference (CCC 2018); Schloss Dagstuhl – Leibniz-Zentrum für Informatik: Wadern, Germany; Art. No. 20; <a href="https://doi.org/10.4230/LIPIcs.CCC.2018.20">10.4230/LIPIcs.CCC.2018.20</a></li> <li>Arad, Itai; Landau, Zeph; et al. (2017) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20200804-100730896">Rigorous Rg Algorithms and Area Laws for Low Energy Eigenstates In 1D</a>; <a href="https://doi.org/10.4230/LIPIcs.ITCS.2017.46">10.4230/LIPIcs.ITCS.2017.46</a></li> <li>Bavarian, Mohammad; Vidick, Thomas; et al. (2017) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20160321-071142064">Parallel repetition via fortification: analytic view and the quantum case</a>; ISBN 9783959770293; 8th Innovations in Theoretical Computer Science Conference; Dagstuhl Publishing; Art. No. 22; <a href="https://doi.org/10.4230/LIPIcs.ITCS.2017.22">10.4230/LIPIcs.ITCS.2017.22</a></li> <li>Wilde, Mark M.; Tomamichel, Marco; et al. (2017) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170816-155206778">A meta-converse for private communication over quantum channels</a>; ISBN 978-1-5090-4096-4; 2017 IEEE International Symposium on Information Theory (ISIT); IEEE: Piscataway, NJ; 291-295; <a href="https://doi.org/10.1109/ISIT.2017.8006536">10.1109/ISIT.2017.8006536</a></li> <li>Sutter, David; Berta, Mario; et al. (2017) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170816-174117187">Quantum Markov chains and logarithmic trace inequalities</a>; ISBN 978-1-5090-4096-4; 2017 IEEE International Symposium on Information Theory (ISIT); IEEE: Piscataway, NJ; 1988-1992; <a href="https://doi.org/10.1109/ISIT.2017.8006877">10.1109/ISIT.2017.8006877</a></li> <li>Pfeifer, Hannes; Ren, Hengjiang; et al. (2017) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20180622-124453312">Two dimensional optomechanical crystals for quantum optomechanics</a>; ISBN 978-1-5090-6736-7; 2017 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC); IEEE: Piscataway, NJ; 1; <a href="https://doi.org/10.1109/CLEOE-EQEC.2017.8087140">10.1109/CLEOE-EQEC.2017.8087140</a></li> <li>Bavarian, Mohammad; Vidick, Thomas; et al. (2017) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170710-152910604">Hardness amplification for entangled games via anchoring</a>; ISBN 978-1-4503-4528-6; Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing - STOC 2017; ACM: New York, NY; 303-316; <a href="https://doi.org/10.1145/3055399.3055433">10.1145/3055399.3055433</a></li> <li>Natarajan, Anand and Vidick, Thomas (2017) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170710-154654821">A quantum linearity test for robustly verifying entanglement</a>; ISBN 978-1-4503-4528-6; Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing - STOC 2017; ACM: New York, NY; 1003-1015; <a href="https://doi.org/10.1145/3055399.3055468">10.1145/3055399.3055468</a></li> <li>Hasan, Zameer U.; Hemmer, Philip R.; et al. (2017) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170505-135335967">Towards an efficient nanophotonic platform integrating quantum memories and single qubits based on rare-earth ions</a>; ISBN 9781510606777; Advances in Photonics of Quantum Computing, Memory, and Communication X; Society of Photo-Optical Instrumentation Engineers: Bellingham, WA; Art. No. 101180N; <a href="https://doi.org/10.1117/12.2251673">10.1117/12.2251673</a></li> <li>Chao, Rui; Reichardt, Ben W.; et al. (2017) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20171011-113818136">Overlapping Qubits</a>; ISBN 9783959770293; 8th Innovations in Theoretical Computer Science Conference (ITCS 2017); Dagstuhl Publishing: Wadern, Germany; Art. No. 48; <a href="https://doi.org/10.4230/LIPIcs.ITCS.2017.48">10.4230/LIPIcs.ITCS.2017.48</a></li> <li>Yunger Halpern, Nicole (2016) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20151215-103552216">Toward physical realizations of thermodynamic resource theories</a>; ISBN 978-3-319-43758-3; Information and Interaction: Eddington, Wheeler, and the Limits of Knowledge; Springer: Cham, Switzerland; 135-166; <a href="https://doi.org/10.1007/978-3-319-43760-6_8">10.1007/978-3-319-43760-6_8</a></li> <li>Crosson, Elizabeth and Harrow, Aram W. (2016) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20160622-152913947">Simulated Quantum Annealing Can Be Exponentially Faster than Classical Simulated Annealing</a>; ISBN 978-1-5090-1838-3; IEEE 57th Annual Symposium on Foundations of Computer Science; IEEE: Piscataway, NJ; 714-723; <a href="https://doi.org/10.1109/FOCS.2016.81">10.1109/FOCS.2016.81</a></li> <li>Torchinsky, Darius H. and Hsieh, David (2016) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20170711-110806843">Rotational Anisotropy Nonlinear Harmonic Generation</a>; ISBN 978-3-662-52779-5; Magnetic Characterization Techniques for Nanomaterials; Springer: Berlin; 1-49; <a href="https://doi.org/10.1007/978-3-662-52780-1_1">10.1007/978-3-662-52780-1_1</a></li> <li>Berta, Mario; Fawzi, Omar; et al. (2016) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20160824-093212627">Exploiting variational formulas for quantum relative entropy</a>; ISBN 978-1-5090-1807-9; 2016 IEEE International Symposium on Information Theory (ISIT); IEEE: Piscataway, NJ; 2844-2848; <a href="https://doi.org/10.1109/ISIT.2016.7541818">10.1109/ISIT.2016.7541818</a></li> <li>Rueda, Alfredo; Sedlmeir, Florian; et al. (2016) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20160406-090159955">Efficient single sideband microwave to optical conversion using a LiNbO_3 WGM-resonator</a>; ISBN 978-1-943580-11-8; 2016 Conference on Lasers and Electro-Optics; Optical Society of America: Washington, DC; Art. No. SF2G.3; <a href="https://doi.org/10.1364/CLEO_SI.2016.SF2G.3">10.1364/CLEO_SI.2016.SF2G.3</a></li> <li>Vidick, Thomas and Watrous, John (2016) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20160622-144016671">Quantum Proofs</a>; ISBN 978-1-68083-126-9; Foundations and Trends in Theoretical Computer Science; Now Publishers: Boston, MA; 1-215; <a href="https://doi.org/10.1561/0400000068">10.1561/0400000068</a></li> <li>Zhong, Tian; Kindem, Jonathan M.; et al. (2016) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20160930-111458520">On-chip quantum storage in a rare-earth-doped photonic nanocavity</a>; ISBN 9781628419979; Advances in Photonics of Quantum Computing, Memory, and Communication IX; Society of Photo-Optical Instrumentation Engineers (SPIE): Bellingham, WA; Art. No. 97620J; <a href="https://doi.org/10.1117/12.2211999">10.1117/12.2211999</a></li> <li>Broadbent, Anne and Jeffery, Stacey (2015) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20150521-152945536">Quantum homomorphic encryption for circuits of low T-gate complexity</a>; ISBN 978-3-662-47999-5; Advances in Cryptology; Springer: Berlin; 609-629; <a href="https://doi.org/10.1007/978-3-662-48000-7_30">10.1007/978-3-662-48000-7_30</a></li> <li>Stützer, S.; Rechtsman, M. C.; et al. (2015) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20160325-092400946">Experimental realization of a topological Anderson insulator</a>; <a href="https://doi.org/10.1364/CLEO_QELS.2015.FTh3D.2">10.1364/CLEO_QELS.2015.FTh3D.2</a></li> <li>Safavi-Naeini, Amir H. and Painter, Oskar (2014) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20140907-085235613">Optomechanical Crystal Devices</a>; ISBN 978-3-642-55311-0; Cavity-Optomechanics: Nano- and Micromechanical Resonators Interacting with Light; Springer: Berlin, Germany; 195-231; <a href="https://doi.org/10.1007/978-3-642-55312-7_10">10.1007/978-3-642-55312-7_10</a></li> <li>Berta, Mario; Renes, Joseph M.; et al. (2014) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20150227-081211253">Identifying the information gain of a quantum measurement</a>; ISBN 978-1-4799-5186-4; 2014 IEEE International Symposium on Information Theory (ISIT); IEEE: Piscataway, NJ; 331-335; <a href="https://doi.org/10.1109/ISIT.2014.6874849">10.1109/ISIT.2014.6874849</a></li> <li>Berta, Mario; Fawzi, Omar; et al. (2014) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20150227-083629007">Variations on classical and quantum extractors</a>; ISBN 978-1-4799-5186-4; 2014 IEEE International Symposium on Information Theory (ISIT); IEEE: Piscataway, NJ; 1474-1478; <a href="https://doi.org/10.1109/ISIT.2014.6875078">10.1109/ISIT.2014.6875078</a></li> <li>van Enk, S. J. and Nienhuis, G. (2008) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20181109-123252947">Rotating photons</a>; ISBN 9780819470836; Complex Light and Optical Forces II; Society of Photo-optical Instrumentation Engineers (SPIE): Bellingham, WA; Art. No. 69050E; <a href="https://doi.org/10.1117/12.765476">10.1117/12.765476</a></li> <li>Kempe, Julia; Kitaev, Alexei; et al. (2004) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20191011-072647725">The Complexity of the Local Hamiltonian Problem</a>; ISBN 978-3-540-24058-7; FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science; Springer: Berlin; 372-383; <a href="https://doi.org/10.1007/978-3-540-30538-5_31">10.1007/978-3-540-30538-5_31</a></li> </ul>