Zai hai ying dui yu nong cun fa zhanChina) "Zai hai feng xian guan li yu jian pin de li lun ji shi jian" guo ji yan tao hui (2011 Beijing · First published 2012Open the Tome
Practical Aspects of Declarative LanguagesMatthew Flatt, Hai-Feng Guo · First published 2013Open the Tome