Reading list: navigational mathematics