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