Amtoft, T., Nielson, F., & Nielson, H. R. (1995). Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. DAIMI Report Series, 24(497). https://doi.org/10.7146/dpb.v24i497.7025