Author: SPLC 2007 (11th 2007 Kyoto, Japan)