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