Modeling snow crystal growth. I: Rigorous results for Packard's digital snowflakes. Gravner, Janko, Griffeath, David (2006) Experimental Mathematics