some useful literatures for functional programming