Escher's art and computer science