Nielson, Flemming, and Hanne Riis Nielson. “Constraints for Polymorphic Behaviours of Concurrent ML”. DAIMI Report Series 24, no. 496 (October 1, 1995). Accessed May 8, 2024. https://tidsskrift.dk/daimipb/article/view/7024.