add reference to Danny's lecture on lists