Hanno Lefmann Pavel Pudlák Petr Savický On Sparse Parity Check Matrices. 107-130 1997 12 Des. Codes Cryptography 2 db/journals/dcc/dcc12.html#LefmannPS97