Majumdar, R., Thinniyam, R.S., Zetzsche, G., 2021. General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-030-72016-2_24