Logical Methods in Computer Science (2006)