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