Hongwei Xi Chiyan Chen Gang Chen Guarded recursive datatype constructors. 224-235 2003 POPL http://doi.acm.org/10.1145/640128.604150 db/conf/popl/popl2003.html#XiCC03