Publications by 'George E. Chlipala'