Manfred Kudlek's pictures from ICALP/LICS 2007

63.