@lecture { infgue2008, }