David Sabel Manfred Schmidt-Schauß Conservative Concurrency in Haskell. 561-570 2012 LICS https://doi.org/10.1109/LICS.2012.66 https://doi.ieeecomputersociety.org/10.1109/LICS.2012.66 conf/lics/2012 db/conf/lics/lics2012.html#SabelS12