Number theory for computing - Yan Song Y (2002)