Amtoft, Torben, Flemming Nielson, and Hanne Riis Nielson. 1995. “Type and Behaviour Reconstruction for Higher-Order Concurrent Programs”. DAIMI Report Series 24 (497). https://doi.org/10.7146/dpb.v24i497.7025.