Results and problems on covering systems of residue classes - Porubský, Štefan (Math. Inst., 1981)