Torben Amtoft Flemming Nielson Hanne Riis Nielson Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. 321-347 1997 7 J. Funct. Program. 3 db/journals/jfp/jfp7.html#AmtoftNN97 http://journals.cambridge.org/action/displayAbstract?aid=44085