Amtoft, T.; Nielson, F.; Nielson, H. R. Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. DPB 1995, 24.