SMRČKA, Aleš, Petr HLÁVKA,
David ŠAFRÁNEK,
Vojtěch ŘEHÁK,
Pavel ŠIMEČEK a Tomáš VOJNAR. Formal Verification of the CRC Algorithm Properties. In
Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Brno: FIT BUT, 2006, s. 55-62. ISBN 80-214-3287-X.