View full version: Introduction