T. Amtoft, F. Nielson, and H. R. Nielson, “Type and Behaviour Reconstruction for Higher-Order Concurrent Programs”, DPB, vol. 24, no. 497, Nov. 1995.