Gravar-mail: Mathematical model for studying genetic variation in terms of restriction endonucleases.